Gavin Henry wrote:

Dear all,

What was used to create the gifs in doc/guide/admin ?

I'd like to do some more for replication scenarios, plus others.

I could use FreeMind and/or Dia, Gimp.

Use whatever you like. They're only monochrome images after all, no big deal.