<div dir="ltr"><div><br></div><div>> jadetex, passivetex, and xmltex are essentially unused these days.</div><div><br></div><div>moving those to any collection (especially one that suggests they shouldn't be used) is fine by me.</div><div><br></div><div>David</div><div><br></div><div><br></div></div>