Move the developer entities out to a separate include file, so that
these entities may be used by other documents. Also, prepend "a." to
the developer entities, to clearly define the namespace used for this
purpose (as done in doc/).