Applied and pushed to the “r-updates” branch, which will shortly be merged into the “master” branch. -- Ricardo