Add a message if techdocs takes long time to load
Fixes #2416.
The UI after the change should look like this: