CTAN update: TeXProposal