[vale] reported by reviewdog 🐶 [MongoDB.Time24h2Digits] Show the hours, minutes, and seconds with two digits each, even if the leading digit is 0 ('1:27'). Raw Output: {"message": "[MongoDB.Time24h2Digits] Show the hours, minutes, and seconds with two digits each, even if the leading digit is 0 ('1:27').", "location": {"path": "source/reference/upgrade.txt", "range": {"start": {"line": 154, "column": 69}}}, "severity": "ERROR"}