Side tools

Dear all,

I have been playing a bit with side tools.
You can test what I did via 'Tools -> Developer tool',
then 'View -> Side tools', and then
'Developer -> Experimental side tools / ...'.
Note: you should select the 'dark' (or 'bright') theme.

I still have to think quite a lot about a good philosophy.
Some ideas are welcome.  At a certain point, we might setup
a Zoom meeting to discuss this issue.

Best wishes, --Joris