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