Sorry, there is no bug with gnome-panel. The problem is that gnome-panel used to be named "panel". Being unaware of the name change, and since I was using panel outside of the gnome desktop, I kept starting the panel with the old name. Unfortunately, that remains broken, but gnome-panel indeed is working.