On Tuesday, June 13, 2023 at 8:14:54 AM UTC-7 Tobias Diez wrote: At the very least, I would propose to hide these optional tags from the generated docs.
You *did* already propose to hide them, in https://github.com/sagemath/sage/pull/35719#issuecomment-1575680194, in response to which I explained to you the important purposes that these tags serve. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/de56f1cb-a364-4d6e-982e-490eafd7a329n%40googlegroups.com.
