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?