snakeoil Quickstart TODO fix up terminal fix errors in kernel switch to python so it can be pip installable since users are python users (?) make boxes resizable (?)