I guess a non-case-related-change is enough to get VSCode to sort itself out then. Good to know.