I am delighted to announce that the paper All watched over by machines of loving grace, describing the Supervisionary proof-checking system for HOL, has been accepted in the post-proceedings of TYPES 2022.