[Bug 554877] New: [gnome3] GNOME Shell applications menu remembers "page"