Fixed. I read that paragraph too quickly.
We discussed the possibility of auctioning one coin off for foundation funding, auctioning one coin off and burning the GRC, and holding one coin for posterity, but decided the best option is to give it to the foundation and the staker and let them decide.
Thank you for the link. I missed that entirely.