The topnav dev group link on talk.turtlerockstudios.com is a tiny plugin @eviltrout wrote, did we open source that Robin?