Comment by tux1968

But this appears to work in any terminal, not just the developer's. Or did I miss something?