CTAN line in README