[Termtools] 2023 results

Dear all, the final result of termCOMP 2023 is saved at: https://termcomp.github.io/Y2023/ and the previous url is deactivated. This should be the last announcement from me as the organizer/SC chair. As approved at WST, Florian will do the job from next year :) Best regards, Akihisa