Good trick this one with quote_str(), hadn't realized you can have such an implementation for generic escapes;

no-op for Ken: in the future, this file seems also the exact right place to transfer the encode_* functions from filetools.py !!!