1. cb1e41e doc: add ide_integration.rst to doc/develop by Joao Marcos Costa ยท Sun Oct 01 12:00:35 2023 +0200