Ah, right that makes sense. However, it looks like we may want to keep OpenGLStd.glScaled in there. It imports fine for me without a warning.

Would you be fine with holding off on the "using Images" line for the time being?

I can do these changes, if you'd like, but I'd prefer that you get credit for them in the commit history. Just doing a new commit, rebasing, and pushing to your branch should be sufficient to update the pull request and then I'll merge it in.

Thanks,
Rob