Commit Scripts/run-mangleme-tests (missed it the previous time).