Documentation updates, July 2025

July 10, 2025

The following is a list of various updates for Unzer documentation:

• Added User feedback button
• Added trademark or registered symbols for various plugins
• Minor bug fixes