Hello Alan,
On the assumption that ICANN can legally use part of the proceeds to fund reserve, I'd be also can live with up to a 20% of whatever is the accessible amount of the AP.
However on a related note, I do personally think ICANN operating cost is quite on the high side in the first place and while effort is being made to get a 1 year reserve, i will be interested to know how much effort the Board is putting on 2 specific items:
1. Avoid continuous increase on the operating cost which could then make a year target meaningless.
2. Minimize operating cost as much as possible (of course without affecting the SO/AC part of things) so a 1 year reserve could end up sufficient for many more months when the need arises.
Regards
Sent from my mobile
Kindly excuse brevity and typos