Migrate specification to Bikeshed.