A uBlock filter can do it: `||news.ycombinator.com/*$replace=/<html/<!DOCTYPE html><html/`
Could also use tampermonkey to do that, also perform the same function as OP.
Could also use tampermonkey to do that, also perform the same function as OP.