# Editing Files

The PNG images within this repository can be edited by importing them into <https://app.diagrams.net> (previously <https://draw.io>):

## Using the github URL:

File -> Import From -> URL -> URL of diagram 

Note: The URL usually begins <https://raw.githubusercontent.com/>...

## As a locally saved image:

File -> Import From -> Device -> Select Chosen File
