I am referring to tqec/examples, which contains a logical CNOT example as well as a jupyter notebook. Would it not be better to move these to the docs or remove them if they already exist in the docs?

@inmzhang