Renaming "tomoki1207.pdf"

[Daniel Kleine]

The naming of the extension is not great, will be displayed as "tomoki1207.pdf" in a .vscode/extensions.json or a .devcontainer/devcontainer.json file. This looks like a PDF file, e.g.

{
    "recommendations": [
        "ms-python.python",
        "ms-toolsai.jupyter",
        "ms-azuretools.vscode-docker",
        "ms-vscode-remote.vscode-remote-extensionpack",
        "tomoki1207.pdf",
    ]
}

Would be better to rename the extension so that there is no potential confusion with a PDF file.