piranha.hpp: a minor bit of internal doc.