I should have written:
Enabling plugins does not make the menu work in the demonstration file for this bug.
I should have written:
Enabling plugins does not make the menu work in the demonstration file for this bug.