piranha.hpp: some \todo updates.