user/cantor: Better patch needed for making WebEngine optional
The patch for 22.04.2 is precise but still not upstreamable. It simply rips out the documentation panel instead of making it optional. Testing on gwyn did show that it correctly just launches a web browser instead of showing it inline in a panel, so we aren't losing (too much) functionality.