Hi! The definition for tos-mint was requested in 2012, but it's not clear to me whether this has ever been used. So while going over things to potentially remove, last year I stumbled over this. Thanks, Guillem