Hopefully uncontroversial improvements to new Error code

This branch implement parts of #321 (closed); each commit is about one checkbox.

There are two more-debatable parts of #321 (closed) that I'll wait for an opinion about before building.

requested review from @eta

assigned to @nickm

approved this merge request

merged

mentioned in commit 109515ec