@ilikepi31415
That was actually a pretty major error my editors missed. Some text was in the wrong place and a line was missing. I fixed the file earlier today, a few minutes after the first upload, but it's taking a long time to show up in its revised form.