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.