ありがとうございます。素晴らしい改善ですね。
一貫性の観点から、/my/messages のグループ受信トレイがグループ名ではなくグループの正式名称でラベル付けされていないのが不思議に思えます。グループ名にはハイフンやアンダースコアが含まれています…
（やや混乱を招くことに、先頭が自動的に大文字に変換されます。例えば、patently-beta-test というグループ名が Patently-beta-test として表示されます）
一方、グループの正式名称の方が明確で、表示も優れています…
ここでもグループの正式名称を使用する方が、より一貫性があると思いませんか？