add code-availability section; use different emphasis on 'output'
be consistent with extension names