fix(ui): Use proper URL fragments ("#tab=…", not "#tab%3D…")

[erikmd]

• Kind: bugfix (workaround)

• Close Feature: rewrite URLs so that %3D chars are rendered as = #539

Description

Fix #539 while the upstream patch ocsigen/js_of_ocaml#1497 is not used.

Checklist

• Read the CONTRIBUTING.md guide and:
  • Use Atomic Commits so each commit gathers a single logical change
  • Use Conventional Commits regarding commit messages (needed by our release toolchain)

Note to maintainers

• Read this wiki page.
• Make sure the PR has a milestone.
• Assign yourself before merging.
• Either do a regular merge:
  • for PRs containing several commits following conventional-commits,
  • or for PRs containing 1 commit shared with a later PR (to preserve the SHA1)
• Or do a squash-merge:
  • for PRs containing only 1 commit (not shared with a later PR),
  • or for PRs containing several commits that need not be kept in the history;
  • → Update the commit message header with a conventional-commit type,
  • → Add a footer Close #… if a related issue exists.

[yurug]

LGTM.

[erikmd]

@yurug You forgot to assign yourself before merging 🙃 ; fixed just now.

Thanks for the merge!