.DTX Tools link?I've gotten a new computer, the old one crashed. So anyone have a link to all the tools needed? Thanks.