RFC9999 obviously should be to propose RFCs having 5 digits

I'm probably neither creative- nor connected-enough to do it myself, but somebody should see to it that either RFC9999 or RFC10000 is funny as hell and lands on April 1st.