Glad you like it.

Originally we just had a replace done on the default links in the navbar, but after realizing that too many people would add more links, move them to their header, etc and many aren't comfortable with editing HTML or just don't like having to change the templates, we came up with the idea for a few simple options.