A tiny MediaWiki extension we use to hide the year prefix in OSB wiki links