Panel and Overlay in name of extension

Okay, someone contacted me after the fact and yes you are allowed to use Panel and Overlay.