tuxtype_proposal