Suggestion: Don't add duplicate path to Factorio data folder to Lua.workspace.library setting

[Bilka2]

This suggestion may not be feasible because paths are hard, but I want to at least note the issue.

Given the following settings.json file:

{
    "Lua.workspace.library": [
        "~/Games/factorio/data",
        ".vscode/factorio"
    ]
}

I select a new Factorio version via the version selector, I choose the binary ~/Games/factorio/bin/x64/factorio. The extension populates the Lua.workspace.library setting:

    "Lua.workspace.library": [
        "~/Games/factorio/data",
        "/home/erik/Games/factorio/data",
        "/home/erik/Games/factorio/data/core/lualib",
        ".vscode/factorio"
    ],

The second line (/home/erik/Games/factorio/data) is redundant because it points to the same folder as the first line.

I first encountered this issue on Windows, there my existing setting line was using a different path separator than the setting line added by the extension.

It would be great if the duplicate lines could be avoided even in cases where the paths use different "notations".

Extension version 1.1.23
Sumneko version 3.6.3
VSCode 1.73.0
Not using JanSharp's plugin.