index.md: I'm now done with 2013-04-12 lecture