[slightly [OT]] A little Help removing Galaxy

[william humphrey]

I remember using galaxy once and found a secret key combination that made
even nicer commenting than the default runrev ones but I can't discover it
again.