The screenshot depicts the options available in the Tools menu. Under the Data Miner option, the options Drop Repository and Make Visible are available.