Verification takes time. During this time it would be nice to have an oportunity
to get acqainted with more advanced UPPAAL features (i.e. think about how to
optimize the model while verification is in progress), however the UPPAAL help window is frozen during verification.
It would nice to let it be more independent from UPPAAL GUI.
Ultimately it would be nice to be able to launch help from verification dialog
too (add "?" window decoration button/icon?) while the verification is running.