fixup! Add apt_source_pin_level option