Closes #1: Reworked getNavtitleForTopicref().