Do not try to json-decode revision numbers, especially ones like \d+e\d+   :/