Overview

Productivity misc

Various productivity scripts that are too small to be worth a separate repository, and that I don't know where else to store.