write-up latex documents now live in /writeups