Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> It's worth considering what will readline history do with the comment.
> As I recall, we keep /* comments */ together with the query that
> follows, but the -- comments are keep in a separate history entry.
> So that's one more reason to prefer /* */
Good point.
> (To me, that also suggests to remove the asterisk line after each query,
> and to keep just the one before.)
Meh ... the one after serves to separate a query from its output.
regards, tom lane