RFC 10000 was not yet published

This number is assigned but the RFC hasn't been published yet. Check back after the next nightly build.