- fixes to HTML converter
- small fixes to workflow
- fixed small glitches everywhere