Merge branch 'knothed-main-patch-06014' into 'main'

Remove @knothed

See merge request !13

team.mkd

@@ -23,7 +23,6 @@ If you don't want to be a member of the team, make a PR to remove yourself.
 | Ben Gamari            | @bgamari            | RTS, Core optimisation, code generation, packaging    |
 | Bryan Richter         | @chreekat           | Contributor workflow, gitlab.haskell.org, CI          |
 | Cheng Shao            | @TerrorJack         |                                                       |
-| David                 | @knothed            |                                                       |
 | David Feuer           | @treeowl            |                                                       |
 | Duncan Coutts         | @dcoutts            |                                                       |
 | Finley McIlwaine      | @FinleyMcIlwaine    | monitoring, profiling, haddock                        |