server/tripe.h: Fix commentary markup.