3 ms·Yes, thanks and sorry for that - Digger is the old name and we haven't updated the docs. Will fix!by igorzij 5y agoYes, thanks and sorry for that - Digger is the old name and we haven't updated the docs. Will fix!