Well, I looked at the page with AO disabled (by adding ?ao_noptimize=1 to the URL) in the “inspector” in firefox and saw an event was attached to the div that holds the text-edit-buttons and that event was added by wp-includes/js/quicktags.min.js 🙂
Happy all is well now, have a nice evening Chuckie 🙂
frank