Something with the nimbus_sans_lregular font used in this pages makes HTML5 displayed as H™L5
All documentation is currently being moved to renderjs.nexedi.com,
we are currently removing all references to former documentation, this might take a while. Thanks for your help.
https://renderjs.nexedi.com/ has the same font problem.