Implementation details (TODO)

Some less relevant implementation details relegated here. Should not be relevant to the average user.

Annotations

• mandos
• their output
  • value
  • annotation