Revert "smtkusersguide: disable completely" too
This reverts commit 3fb056ff. This reverts commit 05d69d9b.