Just some stuff I'm writing down because it may be useful to someone else.