More redrafting to take into account referee comments.  Still to do: update HermiT and ELK refs; fix margin overflow of URLs