Single post in Wiki Discussion

Just popping in real quick to say that the Tools/Options page needs to be changed to just Options now. I'd do it myself but I'm not fully sure how and would rather not mess something up ^^' Edit: Also just realized the Navigation portion is missing so I'm just adding that in real quick.