Regenerate with `oasis-mirage` to fix build, and add a note about why (#11)