Fixed latex source display; added user control of updating to new activity version, and activity version detection based on most recent scope.