Just off-hand though, adding

#

to things I might type on the command line doesn't sound great