Rename 4-2.md to 4-2.sage