Toggle the horizontal menu.
Choose the export format from the list below:
Filter
Export as Portable Document Format (PDF) using the Web Browser
Export as HyperText Markup Language (HTML)
Original macro found on main wiki. Duplicated here because of a "Global" visibility bug.
Examples:
