On the following page, I’ve left many comments, but none in #public, but it seems to indicate this is the case.
