I’m guessing they did that for gmail which can’t filter on email headers but yes, it’s long. On the other hand we also had [foreman-dev] as a prefix before.
Another thing I also dislike is that the summary on my mobile mail client always shows <name> <date> <text>. The name and date are redundant since the From and Date headers include them as well.