piranha.hpp: another bit of internal doc.