Hello,

I'm attaching a small patch for the documentation in HTML export.
Please include this example, it is very useful.

Regards,
Nikolaos Chatzikonstantinou