consistently separate footnotes from text
blog: Assume we will never have a non-empty baseurl This is just getting too annoying every time I link to another post
#rustc was also involved
fix some typos
add link to reddit
blog post about MIR and miri and semantics and instrumentation