3 ms·

Good article. The division between different types of documentation is something that I've understood intuitively, but never codified in this way.