Mizar's changelog can be found at https://mizarbot.xyz/changelog