Ref.cite_html() no longer adds the DOI web address in front of normal web links!
Authored by: bugman 2010-09-15
Parent: [r11566]
Child: [r11568]