It's all good
Well, 1813 didn't last long. Not that there was anything wrong with it. 1816 is now available which adds a new "ANY" option to the dropdown filter element. I also fixed the height of the code window so you don't have to resize it all the time.