I have an ArcGIS 10.3.1 enterprise geodatabase in a new MS SQL Server instance that I just migrated from 9.3.1. There are several live geodatabases in this instance. I created a new, empty "test" geodatabase to try out the new "Create Enterprise Geodatabase" tool in ArcToolbox. So, that worked, and now the new test geodatabase is taking up about half a GB of space and I would like to delete it. However, ArcToolbox does NOT contain a "Delete Enterprise Geodatabase" tool or anything else that might be helpful in deleting the geodatabase in question.
I looked in the ArcGIS online help and can find nothing there about how to delete an enterprise geodatabase, either.
How do I delete an enterprise geodatabase from an instance in SQL Server?