This syncs all the metadata for all the practice exercises with upstream changes in problem-specifications, in one fell swoop. The changes are all nitpicky changes made in order to ensure that source urls all use https rather than http, along with some tweaks to better describe the source of certain exercises.