I just talked with the guy who makes PV8 and an updated version of this MicroPlatformer is actually included in the demos that come with PV8. So I would use that one instead!
Oh, okay, thanks!