The author of Infinite Ajax Scroll here. Can we rename the jquery-ias tag to infinite-ajax-scroll? Infinite Ajax Scroll is no longer dependent on jQuery and I also think infinite-ajax-scroll is better than the ias abbreviation. An alternative is to create a new infinite-ajax-scroll tag, but I rather not lose the history.
Btw, does a rename of a tag also redirect the old tag? So if we proceed, will https://stackoverflow.com/questions/tagged/jquery-ias redirect to https://stackoverflow.com/questions/tagged/infinite-ajax-scroll?
jquery-iasis also fairly confusing, if it is no longer related to jquery.