diff --git a/doc/design.dia b/doc/design.dia index 41285cdc..e6860d14 100644 Binary files a/doc/design.dia and b/doc/design.dia differ