OpenGL ES profile on Ubuntu 18.04?

I noticed that on an Ubuntu 18.04 machine, ParaView 5.5’s about page shows “OpenGL Version 3.2.0 NVIDIA 390.48”, which I believe corresponds to the OpenGL ES profile. Should this instead report the OpenGL core profile (version 4.6.0)?

Setting the version explicitly in Qt/Core/pqApplicationCore.cxx and recompiling seems to change the version in the about page, but also feels like a hack.

Are there any advantages/disadvantages to using the OpenGL ES profile on desktop computer?

@martink?