Originals

You can edit the original drawings using https://www.draw.io/