import/export *.ipynb.json; splash tweaks