in packages/ide-toolbox/src/routing/routing.ts [56:59]
export function historyPush(url: string) { window.history.replaceState({}, '', url); dispatchUrlChangeEvent(url); }