Rename mrc.html to mrv.html