We have another one of the community pool operators working on this for us, and we will give everyone an update soon. What is likely happening is blocks are being found, but in our attempts yesterday to get the DDoS under control -- we may have fiddled with some of the server settings that are causing the reporting to be off.