This should probably be bumped up to be a higher priority. In the past, it was a bit more of a fringe case, given the extremely scant rendering power of most ARM Linux solutions. (it was basically Raspberry Pi, which could only handle OpenGL ES 2, not 3)
But there are more and more viable ARM Linux devices coming up. (such as the Chromebook example) And the new Raspberry Pi 4 has a new GPU, one that supports OpenGL ES 3. Development and support for this kind of target is going to be increasing in the future.