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/).
