Strange. At the time of my original submission, there did not appear to be any available updates. Now, today, both the core plugin and the theme showed updates available. Does that mean the update notifications are broken???