Minor improvements to our developer documentation (following the release of Qt 5.1).