Redirecting to fn.visit_type_verbatim.html...