Done in https://github.com/jfi/ProMotion/commit/b55de469d5bcb18a927dde0d330a5c8258e41c2c.