On Sun, Jun 02 2024, Adam Porter wrote:
> IIRC I only suggested that because it would mean fewer changes to the code, but
> if you've already written code to allow it, I don't object.  :)

In that case, I'm providing the same patch here, with an additional update for
vtable.texi and NEWS: