Board Thread:Editor Board/@comment-6697950-20130606200659/@comment-3551173-20130607202531

whatever is the current page name should suffice then that way there is less work to alter.

Unless you have a preference or know which one is more in use.