eimermusic/jahtml_formatter — pull request #2 by johnae (2012-12-04 15:32:24+00:00)
Title: Also output the iso_id of any individual examples.

Yeah.