In Ohio, you can go to each county and view legal records, criminal and civil. These are public records.
You enter a name and then a list of legal events, charges, etc pop up for that name.
He could search his own name, and the divorce would show up.
He could also search any name he wants.
I just went to the Franklin Co website and there are a number of legal events for MM going back to 2016 including the divorce. There is one proceeding going back to 2016 which is still labeled ACTIVE. It is possible that he was going in to look at that case, and also look at the divorce.
Yes if he noticed a change in the old divorce, it is possible he assumed the Tepes or the court had done something against him.