Standard updoc prelude

The following line declares to updoc that further updoc passages on this page are in E 0.9 syntax.