Download numbers are not very feasible given the distributed nature (many many mirrors).

--
perl -pew "s/\b;([mnst])/'$1/g"