Thanks! No matter how much I fiddle with Linux, there's always these little tips and shortcuts I hadn't heard of yet, and that's another one.