cae6a24abf
A number of small improvements were suggested during the review of the separation of goal definition from goal selection. Rather than update in place and lose the already-cast votes, let's propose those as a subsequent change. Change-Id: I76bda8256a8fad9a2aeea4208b6ff54f9ba9d7b9