src/TeXmacs/examples/plugins
