.Rd files: no example takes more than a few seconds now because of \dontrun flags