Earlier I backed up and closed my CS50 IDE, moving my files into a newer workspace to increase the amount of memory available to me. The new workspace is definitely also an cs50 workspace; it was created via edx.org and is listed as an ide50 on my dashboard.
However, after the move certain stock folders and commands have been unavailable to me, most notably check50. Interestingly, update50 works (but doesn’t solve the problem).
Is there a collection of the default cs50 data anywhere that I would be able to unzip?