World optimization progress bar does not appear to be retexturable

The bug

Neither the background nor contents of the progress bar shown when optimizing a world appear to be tied to an image file, and therefore cannot be retextured.

How to fix

Introduce proper texture files for this object.