#557970 mr: support for keeping .mrconfig in sync with its source URL