doiUrl( doi )If the supplied string appears to be a DOI,
it strips any "doi:" prefix if present,
prepends the string "https://doi.org/",
and performs any character escaping that is required.
doi (String)doiUrl("10.3390/informatics4030018") =
"https://doi.org/10.3390/informatics4030018"String doiUrl(String)