The developer should add that it needs full-screen-api.allow-trusted-requests-only to be set to "False". Anyway, thumbs up for making an addon that finally circumvents Mozilla's failing F11 handling