Yes, I have read that FAQ. But it states how to remove the device you currently have access to, not your stolen device.
It even explicitly states:
"All passwords stored locally in the app will be deleted. However, you can still regain access to the synchronization group:
If there are other devices still in the group, you can add the device again."
From this I gather that it will remove the device I have access to from the "synchronization group", but all other devices (for example the one that has been stolen) will remain synchronized.
What I want to know is how to remove the device that has been stolen from the synchronization group so that, in case event they crack my main password, they will not have access to my entire password database.