Add a "did you know?" dialog window
@swilmet
Submitted by Sébastien Wilmet Link to original bug (#722851)
Description
A "did you know?" dialog window would be useful to explain some hard-to-discover features, like:
- Ctrl + click to switch between the .tex and the PDF
- Check spelling
- The warning icon for a completion item (which means that the command requires a package).