I want agda-mode-vscode to always use the agda executable in PATH, so I've set agdaMode.connection.paths to a list containing just agda. This used to work (in 0.5.7 at least), but in 0.6.4 the extension always adds the full absolute path to Agda to the end of the list, which doesn't make sense for my use case.

Could we add a test for this? I remember this also being broken then fixed in the past.