This is a consequence of Coq PR #12950 which gives to import the effect of reactivating the imported notations.