In other words: should they appear in `protocol/configurability.md`? If so, how? For context: https://github.com/ethereum-optimism/specs/pull/767#discussion_r2349570530