Debian packaging for DTDs from W3C