bypassing $reverse_alias in $index_format

[Cameron Simpson]

I run with:

    set reverse_alias=yes

and aggressively manage my aliases, with autogenerated aliases for 
almost every email address I've ever received direct email from.

Generally this is pleasing, with nice reliable "full name" parts shown 
for almost everything via the "%F" format string. However, I've been 
working with github for a project and there are many many messages from 
notifications at github.com containing issue comments; the author's name is 
provided in the "full name" part of the received From: address, eg:

    From: team member name <notifications at github.com>

So. Until today my alias for notifications at github.com overrode these 
strings, presenting "Github Notifications" in the index, making 
discussions harder to understand.

I have got this under control by _removing_ the full name part from 
_all_ mentions of notifications at github.com in my aliases. This is goming 
to be fragile for me, and feels hacky.

I looked at using the recent %@macro@ syntax, here's part of my attempt 
there:

    set index_format="%D %@from_part@ %S %?M?(%M) ?%?H?[%H] ?%s%* %?y?  y? %4c"
    index-format-hook from_part '%f polyname' 'ZZ%F'
    index-format-hook from_part ~A '%-15.15F'

and I've got a "polyname" group in my aliases file:

    alias -group polyname polyname <notifications at github.com>

to drive that.

I keep a lot of groups like this to qualify addresses, eg "htmlers" for 
people sending bad text/plain components.

However, there's no way I can see to get the "raw" full name part from 
the From: header _if_ I have $reverse_alias=yes and a matching alias 
with a full name part.

What I would rather do is keep the full name in my alias, but have some 
kind of $index_format format string which accesses the "raw" full name 
from the message header instead of the name from $reverse_alias.

Is this possible, one way or another?

Cheers,
Cameron Simpson <cs at cskk.id.au>