Hi Niels,
This is the one best features of ADS and I use it so much that i almost minimized the painful typing leading to great improvement in productivity. I feel that if ADS can get these features it will be awesome. 1) Rename current abbreviation name 2) Give an option for user to make abbreviation names case-insensitive(currently is case-sensitive)
More about point 2: We go from upper case to lower case so much while writing queries so its a pain to use this abbreviation feature unless you create one abbreviation with uppercase and lowercase.
Thanks,
Srujan Gulla