Old 0.8 updoc prelude

The following line declares to updoc that further updoc passages on this page are in the now-deprecated E 0.8 syntax.