VGUI Skin Switcher?

I have been away from Gmod for about two months now. I fire it up to notice there’s no more “Garry’s Mod Options” in the main menu where I could change my mounted content and Derma/VGUI skin. I had a really nice custom VGUI skin and can’t seem to locate where I can change it off of the default skin.

I could always do a Lua script to force the skin, but I am looking for a simpler alternative . . .