Transition from unit squares to area formula

First proof page using the extracted package from object storage with a real H5P runtime.