This is where stuff goes that’s surely out of date, but might still be useful if I ever revisit a topic again.