Added CVS id. Rev: server/modules/misc/mirrorserver.pike:1.12 Rev: server/modules/tags/check_spelling.pike:1.2