shell: New-style URLs.
shell: Separate page parameters into host, path, and options.

And remove the old { page: "..." } construct from the API.