pull down to refresh

Exactly. It’s not a big issue, because nobody is trying to implement BIP 110. However, as is, either the soft fork proposal fails to comprehensively specify the necessary changes, or the current activation client is not specification compliant (or both).