Thread:Koavf/@comment-3567304-20190514231600/@comment-20551-20190514232104

Sure--you could just rename them if you think that's better but I frankly don't think it's an improvement. Do you have a better suggestion?