Commit 9582640eedbf73fa95e6877a83e9b70970d9d115

Behdad Esfahbod 2021-03-15T16:47:27

[ci] Remove more cruft All were commented out already.