tools A mix of one-script-projects (mostly python) not belonging together, but still worth publishing