There's a (secret?) feature of readline that lets you do \[ \] type stuff using 001 and 002 bytes instead.
This made my day!  Thank you.


Reply via email to