Note: groups.io will be down for maintenance on Wednesday, October 5th, starting at 9AM Pacific Time (4PM Wednesday October 5, 2022 UTC), for approximately one hour.
latext and binder
Does anyone know why pages with binder now show the latex when you save them, and you have to do a hard refresh to get rid of it? It is a pain, but also, others have complained to me about this.
I could be wrong, but I think this is an issue with pages that use binder, and I am using it to run python scripts (if that makes a difference).