diff --git a/doc/user.ps.gz b/doc/user.ps.gz
index 5ecd50838ac..e8724ed59af 100644
Binary files a/doc/user.ps.gz and b/doc/user.ps.gz differ