src restored byte-for-byte from ab4b07c after the single M5 invocation; git diff -- src is empty.
