New on CTAN: bussproofs-extra