How to use built-in default HDRi's in renders?

Blender 2.8 and newer contains a number of HDRi's in it by default for LookDev. I'd like to know how to use them in final renders (EEVEE or Cycles), because quite frankly they appear fantastic.