re PR libfortran/47894 (Documentation text for VERIFY intrinsic function is wrong.)