* make the #@ thing for sagecommandlinemore flexible; figure out what
   happens if you happen to have #@ earlier in the line, etc.

* Nicolas, 25 nov 2011: <20111125231142.GF12879@zephyr> (and other
   messages in that thread)



