After trying any number of random combinations of external buttons on my own, my Google search found your post with this response to another user's question about restarting a frozen screen on the Galaxy S5 -- and lo and behold, it's a winner.
Many thanks on Christmas day for restoring my month...