Add auto-insertion of /// to language-configuration.json

[novusnota]

{
// ...other stuff
  "onEnterRules": [
    {
      "beforeText": "^\\s*///.*$",
      "action": {
        "indent": "none",
        "appendText": "/// "
      }
    }
  ]
// ...other stuff
}

P.S.: We can also consider removing block comments from VSCode options entirely, just so people use them less:

tact-language-server/language-configuration.json

Line 4 in 927582d

"blockComment": ["/*", "*/"]