Since your post that GUI pull request has been merged.

I will wait for more feedback on this before taking action. Since we already have a synonym in place, it would only take seconds to swap all current ring-size tags with ringsize

Edit: Hearing no objections, the tag swap is now complete.