# How to edit these pictures

The pictures have been created with [draw.io](https://app.diagrams.net), and
have been saved in an editable format. You can use draw.io to modify
and save back these pictures using an editable format.
