Various useful things in ./useful_files/.