fixing renamed repo from python extras to arsenal