Forgotten comments for coconut_pub.h.