`%23` in the URL instead of `#`

[pubmikeb]

Exploring the UI5 documentation, I've paid attention that some URLs include %23 instead of #, e.g.:

https://ui5.sap.com/#/api/sap.ui%23methods/sap.ui.xmlfragment

It looks weird especially bearing in mind that at the beginning of the same URL we have the normal # and not %23. Is it a bug?