New package on CTAN: coolthms