Code duplication is reduced. More assertions are added.
The target 'doc' is added to the build script.
The API of SynchronisedTag is documented.