Rename RFC-mmpp.txt to RFC-mmpp.md