They existed (yes, of course). Here is the list of old versions: https://groups.google.com/g/sage-devel/c/s3C6V-7zef4/m/AQ5pUyEKEcgJ
-- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/06a61e9f-69f8-422a-985b-daf9a85c6ef5n%40googlegroups.com.
