Document the perversely-named matched() function, which is called even