piranha.hpp: some internal doc updates.