Remove Richard Henderson as the Alpha maintainer

[Nick Clifton]

Hi Bin,

> I am just curious whether alpha itself is still active?

Active no. But still considered a non-obsolete port yes.

> If no, it's
> totally reasonable the maintainer himself doesn't have much to do on
> the port.

Agreed.  Obviously I would be happy if someone wants to step forward and
take up the maintainership burden, but if not I will carry on looking after
it myself.

Cheers
   Nick