Strange, but apparently it was a one time problem. Today everything is OK again. I'll take screenshot when I encounter it again. The Dopesheet button probably didn't slide down the dopesheet view completely (so some pixels where still hidden).
PS. In export dialog the binary export shows JSON options by the way. 🙂