Another drill bit got worn down and required changing, see the very clear photo comparing the old and new bits. Changeover takes quite some time at 438.8 m depth. We hope the new bit will last at least as long as the previous ones.