Good catch, I'll check that and let you know (folder is currently syncing so I'm not sure right this second).
In the meantime, I think I'm going to pull this repo out of Box and see if it works there. It will be too bad, though, if renv turns out to just not work when combined with Box Drive, since that's my usual workflow.