Various unconnected stuff I don't want to create a separate repo for