Shorten and easen Pipe Dream. It's now a better second introductory level. Change the author in Proxima's levels to Proxima. Existing checkmarks convert automatically whenever Proxima is the only...