Coming before long: in the course of 2024 we will probably be phasing out GitHub difficulties given that the feed-back mechanism for written content and changing it with a different feedback procedure. To find out more https://www.youtube.com/watch?v=eGGf-zzIbwc