@bored-art-40741, @ancient-stone-50795 : no, that issue hasn't been fixed yet... we cache those tools locally though: