Menu didn't publish on github.  Seems to be due to the weighted pages
plugin not working.  I've copied a "register_filter" call from
debug.db which seems likely to fix.