User blog comment:Rupert Giles/Introducing Updated Global Navigation/@comment-8865495-20141008042122

It'd be great if it was smaller, and if it was customizable, as well as a place for some gadgets from the dev wikia.

(An options button would be nice.)