Decode html special char before making links

From #5282.