Read-only release history for GPS-Tools