I elaborated on it below. Your team will grow and shrink. No guarantee that each developer will bring the same IDE. This is especially true for open source projects.
If it works your team, no need to be dogmatic about it. Just be careful about what you put there and agree on a set of sane defaults with your team. Your project should build and run tasks without needing a specific IDE.
I love Tony’s as much as the next guy. However, be aware that a test conducted in 2022 found high levels of lead in Chocolonely Dark Chocolate variant.