Getting the necessary files
Now go to the R4DS's official website and download the newest kernel. The most recently updated file will be located above all the others.
As you can see from this picture, the R4DS gets updated about every month. Be sure to check the site every so often and update the files on your R4!