That is to say that the case sensitivity of the `LISTEN`/`NOTIFY` channels is a compile-time option in postgresql?