I followed the exact steps listed here: https://wiki.galaxyproject.org/Admin/GetGalaxy#Become_an_Admin:_Example
in order to become a galaxy admin so that I could load someone else's tool for my own use. I see admin user=my email when I grep on admin user in config/galaxy.ini. However when I log onto galaxy in my web browser I see no admin option.
What am I missing?