明らかに名前の使用期間が終わって継続使用が不要だと傍目にもわかるような場合は
特に議論らしい議論は無しでも「以後不要につき元のこれこれに戻してくれ」という申請だけでなんとかなるよ。




いや知らんけど。