There are a number of uses of @NonNull in the codebase for which IntelliJ IDEA warns about them being unnecessary. After having talked with the team, they should be unnecessary indeed, so we should remove them.