武蔵工業大学が名称変更か？

　以下は「武蔵工業会」（同窓会らしい）のページに、「武蔵都市大学」という新名称候補が記されている。
http://www.ob.musashi-tech.ac.jp/daigakukaikaku070210.html
　武蔵大学に加えて武蔵野大学ができた今日、「工業」をはずしてしまうとどこがどこだかわからなくなってしまいそうだ。
　大学本体のページには今のところ何も告知は出ていないように見える。名前を変えようとすると一番気にしてしまうのは卒業生、ということなのだろうか？