2019-09-10 UTC
# 
jeremycherfas grantcodes made the same suggestion. I could argue it both ways. It is a button, and if it doesn't do anything, that's the same as being disabled. Or, if it doesn't do anything, it isn't a button. Now that I know, I might give it some more thought.