Coming before long: in the course of 2024 we will be phasing out GitHub problems as the comments mechanism for articles and changing it with a different suggestions program. To learn more see: . Submit and view https://www.youtube.com/watch?v=eGGf-zzIbwc