Intersection theory in OSCAR

5 years ago, Jieao Song wrote a really nice intersection theory package in Julia, my new favourite programming language. It is similar to the famous Schubert2 package in Macaulay2, and other, lesser-known packages, like Chow for SageMath. It is extremely efficient (being significantly faster than Schubert2). One plan that had been around for almost 5 years was to integrate it into OSCAR, the Julia analogue of what SageMath is in Python, so that it becomes part of a stable ecosystem. I'm happy...