bots are now considered fixed!

tsa/howto/gitlab.md

@@ -498,10 +498,7 @@ Note that those labels are being worked on [ticket 4](https://gitlab.torproject.
 
 ### Remaining work
 
-As of June 16th:
-
- 2. Make sure the daily tools we use is ready such as IRC bots
-    ([zwielbelbot](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/2) fixed, [nsa](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/7) needs work)
+As of June 17th:
 
  3. Make sure TPO project issue change notifications are emailed to
     the [tor-bugs](https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs) mailing list.
@@ -512,6 +509,8 @@ As of June 16th:
  5. Begin figuring out how to solve the account creation and anonymous
     users in the longer run.
 
+See also the [list of known issues][search].
+
 ### What will break, and when will you fix it?
 
 Most notably, we're going to have an interruption in the ability to open new