More work on the TinySR docs.