Gilles’s links on Bots.