Support for Edu Tools Jakob Felix Eugen Rössner Created December 15, 2022 19:51 Pls. add support for Edu Tools, like you give us with the Edu Plugin
