Redirect is not a function

[JochenVanSeveren]

https://github.com/odoo/documentation/blob/f73bf36e6d3317502acc2708b28749a500b0ec48/content/developer/reference/frontend/services.rst?plain=1#L590-L600

Is this function still present on router? It does not work for me.