> we used to declare what version of HTML a page was written in with the doctype...

> we used to declare what version of HTML a page was written in with the doctype tag at the very top of the file.

Um, we still do that. It's just that the doctype for HTML 5 is very short and doesn't mention the version number explicitly. (It's `<!DOCTYPE html>`.)