best-effort matrix leave()

Created by   on March 17, 2021
NNQXLXID2SZLQZ7DEHN7RPXKFZQWS5O3TMIHGK75YGNHVQGSE2SQC
Change contents