Wladimir or Gregory: can one of you update BIP 0001 to describe the Proper Process for creating/editing a BIP? It doesn't mention the github repo at all right now.