Should we leave `CI_OnlineFunction` to ISO proper?