The Workflow Solution User's Guide for version 7.0 incorrectly documents the process to delete users on page 293. Here is the excerpt:
If you have the necessary permissions, you can delete existing users.
If a user that has been deleted is currently logged into the portal, they are not
immediately locked out of their session. Deleted users cannot save any data or
navigate to any other pages.
To delete users
1 From the Process Manager portal, click Admin > Users.
2 In the User Browser, navigate to the user to delete, and then click the symbol
3 Click OK in the confirmation dialog box that appears
Deletion of users in Process Manager is no longer an option in Workflow 7.
Workflow Solution 7.0
ServiceDesk Solution 7.0
The option to delete users from Process Manager was removed in 7.0, however the documentation was not properly updated to reflect this fact.
There is no timeframe for an update to the documentation, but those responsible for these updates are being notified of the error.