@dancole just made a plugin for the bug you pointed out in the widgets admin page since it's most likely not going to be patched soon.