Changed to https://doi.org/ in accordance with https://www.doi.org/doi_handbook/2_Numbering.html#htmlencoding