I'd rather edit the PEP so that goals which are no longer in scope are just no longer in the PEP.  An appendix listing things which were dropped would be a better place for them and they can become part of a future PEP when support exists.