Ping.
Are there any other objections or comments on this RFC?
Original message rendered here: https://gist.github.com/envp/3a5fdd33115b91c391c22e5e8a5210f4
I also support option 2. Unless you see someone objecting, feel free to start submitting patches for review.
Cheers,
Gabor