Use instrs.json as file path in examples The jsox file extension was intended to imply that there had been a typo, but it ended up being distracting.

Created by  David Tolnay  on November 16, 2019
VL65K56V5U6IKA7HBD3H27J554JWAQUJB2YEUEPACPUWE4I4TBKAC
Change contents