/design/revision/pages/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2018-08-02 16:15 +0200 79768 images_diff.png
-rw-r--r-- 2018-08-02 16:15 +0200 50215 tags_diff.png
-rw-r--r-- 2018-08-02 16:15 +0200 48450 untitled_page.png