Screen casts

All the screen casts below are also in the Lino developer sessions playlist on YouTube.

2019-10-21 Luc's first developer screencast

I thought that instead of fixing the bug alone I imagine that a newbie is watching me.

2019-10-23 Luc working on #3284 (2 hours watching)

See 2019-10-23 for a summary of the code changes I did during that session. It has three parts.

2019-11-25 Watch Luc adapting the doctests in book after changes for #3313