By separating core protocol requirements and optional features.
The guide has a section titled "Protocol features":
This is a place where information about optional features is collected, and soft deletion FEP could be mentioned there. A formal specification could be structured in a similar way.