Andy Wingo <wingo@pobox.com> writes:

> Heya Andreas,
>
> You proposed a choice between two options:
>
[...]

I forgot to attach the patch in my last mail, here it is: