Restore accidentally-ish deleted PROTOCOL spec