In what may be the most surprising announcement this year (not), I am happy to announce that the steering committee is appointing Joseph option handling maintainer.
Thanks for all the time and energy you have put into this already, Joseph! Please adjust the MAINTAINERS file accordingly, and Happy Hacking! Gerald
