TIL that Microsoft’s remote development extensions for VSCode are not open source and so cannot be used in Codium.
Microsoft being Microsoft.
Why is this step necessary? mastodon.bida.im might not be the server where you are registered, so we need to redirect you to your home server first. Don't have an account? You can sign up here
mastodon.bida.im