Reorganization of minibuffer code into new file, minibuffer.py.