in packages/ide-toolbox/src/routing/routing.ts [51:54]
function getCurrentPath() { const {hash, pathname} = window.location; return hash ? hash.replace('#', '') : pathname; }