This document is not Robin-specific.  It's in "Specs on Spec" now.