Dolphin integration
===================

Thanks to [Miguel Marco](https://riemann.unizar.es/~mmarco/), here is an neat
integration for [Dolphin](https://kde.org/applications/system/org.kde.dolphin),
the KDE file manager:

Copy the `mat2.desktop` file to one of the following locations:
- `/usr/share/kio/servicemenus/` to install it globally.
- `~/.local/share/kio/servicemenus/` to install it for the current user.
