User blog comment:Rupert Giles/Global Navigation Update/@comment-25913433-20141203153300/@comment-25913433-20141203154308

I meant There should be a option so users can change it in their Preferences.