On Monday, 22 April 2019 at 16:43:56 UTC, Seb wrote: > Submitting a DIP with the proposed changes would be very > welcomed. I'm happy to assist you with it. Just ping me on the > DIP PR. I have created a Github repo and added you as a collaborator. I will work on this as I have time.