Redirecting to fn.gtk_recent_filter_add_mime_type.html...