This is just a personal wiki to write down useful stuff. I'm making it public in hopes that it'll be useful for someone else.