Automatically add doctype before html tag if not present#1

devashishdxt merged 1 commit intomaindevashishdxt/plait:mainfrom

auto-doctypedevashishdxt/plait:auto-doctypeCopy head branch name to clipboard