Writing documentation is a thankless job, for the most part; writing tools to deal with the documentation is, possibly, even worse. Guess what I just did…| halting problem
