[Pharo-users] Pillar for 30 gone the way of the dodo on the CI

Hello, It may have been a long time without it but still... I ran the doc job on my CI and got this that wasn't working: https://ci.inria.fr/pharo-contribution/job/Pillar/PHARO=30,VERSION=stable,VM... Hum, yes, but ... why remove the doc tools as this is quite an important thing to keep around for all Pharo versions? I'll go to 4.0 but there are other dependencies etc for the OS maybe etc. Not good as I need to migrate these things for my customer as well. Phil