Retirement of MICHECK and AMIGene