On Prickle-Prickle, day 56 of Discord 3174, Jonathan Schleifer wrote: > I added shortcuts for *EVERY* button in the chat window and the GC > window now (see r9601). This is great, thanks! Henning