The second patch implements the transcoding of inline source blocks
into HTML.