Oh, that is brilliant: thanks, Randy! TLDR: if the hosts trick does the
trick for you, splendid; but if not, I suggest you get comfy (and well
acquainted) with the search feature For others, after changing my hosts
file, I also had to open chrome://net-internals/#dns and click "clear
host cache" button to get it to kick in...but even after that, when I
tried to hit Mission: Impossible
(https://one.workfront.com/s/feed/0D54X00007nuPuOSAU), it failed to
resolve, as did (when I typed it manually)
h...