This reverts commit aa60b2687, which was a temporary workaround.
Also touch a Clang file just to trigger their CI pipeline.
[Github PR transition cleanup]
Abandoning here, will re-open as a Github PR.