With these commands it is possible to add HTML and non-HTML snippets,
which will be useful for the "See Also" manual chapters.