MediaWiki extension to convert from Ensembl IDs to other ID types, via Ensembl REST API.