Remove useless downloads via bob.extension

Yannick DAYERrequested to merge
remove-bob-extension into master

Removes bob.extension as dependency.

Merge request reports