If I press Ctrl+/ (Toggle Line Comment) on a Dartdoc line, currently the line gets transformed from:

/// Dartdoc line

to:

/ Dartdoc line

Even though it'd be asymmetric with adding a comment, I think it'd be nice if uncommenting removed either // or ///. This would be particularly useful if I'm writing a Dartdoc comment, press Enter, which automatically adds /// to the next line, but don't actually want the next line to be a Dartdoc comment.

I'm using v3.52.1 of the Dart VS Code extension.