Select Git revision
result in hopefully-less-confusing error messages when the new definition isn't compatible with the old; minor other cleanup.
result in hopefully-less-confusing error messages when the new definition isn't compatible with the old; minor other cleanup.