(marginal) use of Tomdoc per GitHub style guide