Commit bbeacd72c438f7de499bbe2b778ab970b76b375e

slime 2022-10-02T22:57:03

Fix some credit comments.