fcdc61a18a
This is done in a couple of places in the documentation and is broken rST. 'prog' is semantic markup that fits right in here, so use that. Change-Id: Ic654e33daaf68b01f561ac8d792934d5a57a07e5