If someone provides a detailed set of instructions on making this work in our environment (e.g, no installing software from somewhere besides a Debian package), then I can implement them. It would be even better if one of the other admins did so, though I should do anything that involves changes to domtool.