sphinx_codex_name in combination with overwritten new gating functionality (other extension) doesn't work for prf:example-start

[Tom-van-Woudenberg]

I think the title is what it is, but maybe it's too vague