x-tyler

Your Replies

  • May 10, 2021 at 3:46 pm

    I also posted the request on https://categorify.org/recategorize which I discovered after this post. May be it got fixed through that channel in the meantime. I confirm it is indeed fixed since this morning. Thanks anyway! Regards,
    Max