Needless to say, I didn’t write 443 HTML files by hand…