/* stylesheet unavailable in the archive; placeholder written by the agent */
