Some comments, like this one, should probably be headings for the table of contents (`(** ** Product *)`).