Briefly explain how to check that wxWidgets is installed correctly.
This is again redundant with the information already present elsewhere,
but it seems worth repeating it here.
Currently this simply links to the existing port-specific installation
instructions, but this should provide a less confusing and more
prominent entry point than the existing topics.