Should we flag the use of \dontrun{} in case some of the occurrences can be replaced with some logic around the session being interactive / a token being available etc?