Cora doc

Messed up all the commits here somehow, but it'll all work out I'm sure.