Well, I disabled AO by adding ?ao_noptimize=1 to the URL and switched to "responsive view" in firefox, opened the developer tools in firefox and inspected the menu toggle, which showed the event handler was defined in that file :-)
have fun,
frank