Converting between identifiers from different databases, but referring to the same biological entity, is a common task of bioinformaticians.