queryman.py: save and restore query buffers after /quit