Code review comment for lp:~widelands-dev/widelands/bug-1625502-tips-in-help

> How about we do a general overhaul if the tips?

Yes, that is a good idea. I think we could ask in the forums for such tips and get good answers then :-)