.. SPDX-License-Identifier: GPL-3.0-or-later

.. _developer:

***********************
Developer documentation
***********************

For simplicity of this user documentation, `the developer documentation <./dev/index.html>`_ is separated.
