True. But especially lazy rendering and fixed column headers seem to be within HTML's remit. Fixed column headers should probably be a new CSS rule, and lazy rendering should just work by default.