.. _WP01: B6.7.wp01_management.html
.. _WP02: B6.7.wp02_maintenance.html
.. _WP03: B6.7.wp03_synchronisation.html
.. _WP04: B6.7.wp04_core.html
.. _WP05: B6.7.wp05_translation.html
.. _WP06: B6.7.wp06_core_optimisations.html
.. _WP07: B6.7.wp07_translator_optimisations.html
.. _WP08: B6.7.wp08_dynamic_optimisation.html
.. _WP09: B6.7.wp09_search_and_logic.html
.. _WP10: B6.7.wp10_aspects_and_contracts.html
.. _WP11: B6.7.wp11_embed_in_hardware.html
.. _WP12: B6.7.wp12_validations.html
.. _WP13: B6.7.wp13_integration_config.html
.. _WP14: B6.7.wp14_documentation.html

.. |e| unicode:: 0x20 .. doesn't work with plain spaces