Indeed, sorry - no bug.
The console is now much much faster, useable for reasonable logging, thanks.
I tried the new script editor. Quite nice, but I did not find a 'find/replace in all open files' that was quite convenient (I like to spread my scripts in a few files). Did I miss something ?
Merry xmas.
-- bitli