Removed: web crawler, legacy DCGs, LaTeX, various.