Discussion on answer by JeffE: How can it be decidable whether $\pi$ has some sequence of digits?

Explicit write access

Even when this room is read-only or their reputation is too low, these users will be able to talk in this room. Users with insufficient reputation to chat have been granted write access to this room by a chat moderator.