I think we have both made our views clear now. If further discussion is needed, let us please do that on gmp-discuss, not on the bug report mailing list. -- Torbjörn