Hi!
I consider reviving the pull request for RStudio.
Should I better open a complete new one with my branch (probably the easy way) or should I request some admin magic that moves ownership of the old one to me (probably the more respectful way)?
I wish to give credit for the work already done.