rename to `ErlangOTP` as in #556 (which is merged already)