Why it matters

The smaller library was not faster. Prediction P2 in the protocol, that the docs arm would be slower, missed. At these sizes, starting Python and git likely costs more than reading the documents.