To DH support:
FYI On my 4.7 installation, I needed to add
$GLOBALS['tempUser'] = $user;
to index.php as per...
Since my original wonderment was...
> if this week's server move has caused this problem
...I now wonder: Should the answer have been yes?
Time to upgrade.
Got a lickety-split response:
Thank you for following up. I dont see how a server move would alter Drupals roles/user settings or functionality. I'm not sure this is even possible.
Keeping your software current and up-to-date is highly recommended.
So, coincidence? Beats me.