[marcosdumay]

The article says many times that this is not the official code. That means it's useless, what one must follow is the official one, that is annotated by a private party, and paywalled.