Fix #1: get rid of deprecated `doctype 5`