Comment 4 for bug 198932

I also agree that the help file should be upgraded accordingly to the ubuntu-specific changes made, but I think that this problem has been fixed, as F11 now goes into fullscreen, and the help issue is a separate one.