Just clarifying and documenting some HTML