[opencms-dev] Where does JSP code get {cms.???} values?

[David Goodenough]

In the template-two code, in main.jsp line 62, there is the following
line:-

<c:out value="${cms.options.value['Header'].resolveMacros}" 
escapeXml="false" />

Now I the JSTL, but I do not know where it finds the value for 
${cms.options.value['Header'].resolveMacros}.  I have looked right
through the OpenCMS JSP documentation and I can find no reference to this kind
of variable in any of the examples or in the text.  There are various other
${cms.???} values used in this template as well.

Is there any documentation as to where these values are picked up 
from, and how I can set them for a site/folder/page?  It feels as though
it should be in the properties, but I am not sure.

David