happy for both these changes. is the easiest way to implement to delete the pr and resubmit it with the alterations proposed?

@rbnpi you should hopefully have a button under each suggested change to add them as new commits directly, or add them to a batch as a single commit? (Although I'm not entirely sure about how that works, maybe it applies to multiple suggestions per user? Don't know...) Either way is probably good 🤷🙂

Oops - I had written this but somehow failed to commit it. Thanks for filling the gap!