Range-diff !507

back to !507 web: API tokens on the settings page; web UX final-review fixes