Misc user scripts and other tools