We can remove execdir-support mailman list
There is a list called execdir-support https://lists.torproject.org/cgi-bin/mailman/listinfo/execdir-support which I set up back when I was doing the interim execdir thing.
Shari hasn't used it -- in fact, it hasn't seen use since early 2016.
It has ten people on it, but some of those people aren't even with Tor anymore.
It has no archives.
I think the cleanest plan is just to blow it away. (If Isabela wants to make some new lists for herself at some later point, she can, but that will be a separate thing.)
Thanks!