Yeah. But again, it doesn't seem like there is a huge and vibrant developer community inspecting the code, implementing features and fixing bugs; looking at their gitlab and their redmine, it seems like there is almost no activity.

(It's possible I just don't understand the websites; looking at their GitLab and Redmine, I start to understand why is Github so popular; I cannot find anything there :(( )