diff --git a/doc/user.tar.gz b/doc/user.tar.gz
index e57b78eaaeabb28a472f3dd23d59e35861b2c290..297e491285a7ce4845bc5806461e57d128bf832d 100644
Binary files a/doc/user.tar.gz and b/doc/user.tar.gz differ