Writing Procedural Specs (for the Web Platform, using Bikeshed) - View it on GitHub