Deprecation notice not visible in Browser, only in VS Code

[kudosscience]

This may be an issue for VS Code but:

The Deprecation notice is not visible in the Browser, but only in VS Code: https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus

[lemmy]

@kudosscience Thanks for reporting this issue. Unfortunately, there’s nothing we can do. :-( Back in 2022, the VS Code Marketplace team stated:

For now, the extension will not be rendered as deprecated in the Marketplace. Support for this will come later.