Ports Managers and Gurus: I'm the maintainer of the math/R-letter port. I would like rename the port to just math/R; however, I'm told that single-letter port names are not known to work. Can someone elaborate on this? It seems to work for me... Thanks! Eric