Most of the discussions are at https://github.com/KWARC/MathHub/issues/258 but there may be spin-off issues from that which we can track here.
Most of the discussions are at https://github.com/KWARC/MathHub/issues/258 but there may be spin-off issues from that which we can track here.