> although it doesn't need to be related to the id of the ProgressIndicator's id. 

It is convenient to use the widget Id that is guaranty to be unique and is already there as a prefix for the symbol Id.