Your proposal seems fine at first glance. I would prefer to see this
handled as a separate GR. If they don't conflict textually, you could
run them in parallel, but honestly I'd prefer to see them run in series.
A few more weeks of delay doesn't seem to be a problem for this topic.
--
Richard
OpenPGP_signature
Description: OpenPGP digital signature