Use unix line endings
ion->notion
Ion->Notion
Remove latex2html hack: this makes newer versions of latex2html hang...
Document the dock better
Fix dependencies a bit