Well Mike’s theme is today up on the wp.org repo, without onboarding. https://wordpress.org/themes/ollie/