An OBS source service: Extract a file from an archive