I’d agree, but I think this is a very weird choice for an ultimately important source code.