Marginalia for #117