Ben Pace comments on MIRI’s technical agenda: an annotated bibliography, and other updates