This works only after a top comment has been selected (but topics without top comments are an anomaly of databases initialized before it was added, so we don't care).
c59e84485