Libraries get renamed all the time. Whether the authors thought it was problematic or not, they decided to rename it so that there's no question. Who cares?