Dear Org-mode hackers,

This patch defines a variable org-agenda-abbreviate-tag-filter;
when it is set, filtered tags indicated on the mode line are
abbreviated according to their fast selection letters.

For example, "-@home+@net" is abbreviated "-h.+n." if the fast
selection letters of @home and @net are h and n respectively.

Best,
Thomas