2023-11-05 MV3 release, webextension 2.3.1

• A pair of bugfixes.

This version will be submitted to Google and Edge "web-stores".
(There's another MV2-version 1.18.1 being submitted to Mozilla/Firefox "web-store")