bob.ip.dlib is no longer maintained.
enabled an automatic merge when the pipeline for 59f90d21 succeeds
shall we archive it?
merged
mentioned in commit 5a403b50
up to you