OK, restarting VScode solved the problem. Quite strange, but I have often had such experiences with VScode....