On Tue, May 03, 2022 at 16:18:13 +0200, Boris Kolpackov via SG15 wrote:
> While at it, can we also agree to call BMI a BMI and not CMI or IFC?
>
> It must be really baffling to someone looking from the outside that
> we have three different terms for this.

Just for completion, CMake currently has `install(TARGETS …
CXX_MODULE_BMIS …)` to install them proposed here:

    https://gitlab.kitware.com/cmake/cmake/-/merge_requests/7224

I don't think any such name shows up anywhere else that is user-facing.

--Ben