Addendum

This is an addendum to the documentation. It contains additional information that is not part of the main documentation, but may be useful to some users.