| Fri, 25 Feb 2022 15:47:47 +0100 | wenzelm | clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.); | changeset | files |
| Fri, 25 Feb 2022 15:33:06 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 25 Feb 2022 15:01:47 +0100 | wenzelm | clarified extension name; | changeset | files |