GpsInfo Extension

This version fixes a number of issues in the tools and the configuration dialog of the new GpsInfo extension.

Review Inspections

We have fixed a potential problem in the 'Review Inspection' tool, in the 'My Tools' extension.