The documentation for GtkMenuButton was still referring to a
"menu" properties in several places, though it has been renamed
to "popup".