specs_propagate.sh: Have comments file name just once
Let's move comments file name in spec_propagate.sh to a variable, so it can be updated in just one place.
Even better: Construct it automatically based on fc_version.
Let's move comments file name in spec_propagate.sh to a variable, so it can be updated in just one place.
Even better: Construct it automatically based on fc_version.