One Goal, 24 Hours, Almost No Hand-Holding: Codex Built an Android Port and Shipped It to Google Play