Random, uncategorized. Don’t feel like making separate pages for these.