Is there a way to reduce the tag size?

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.