Source code browsing: Tweak page title