[tor-commits] [status-site/main] Merge branch 'bug_7' into 'main'