all but auctex and theme accounted for