add command to select a recently closed buffer and open it, make minibuffer.read_recent_buffer more robust
make mozrepl xpi compatible