3 ms·

Docs are reliably fixable, so with enough effort they will converge to correctness. Doc bots are not and will not.