We're not using this anymore since Redmine and the shortcut itself is
present nowhere on the website.