Current status and future of HermiT as a FOSS reasoner

[Otso]

Hello,

regarding the current rather stagnant status of HermiT (indicated by a lack of an active or any Github repository and the low number of discussions in this group), should we assume that development efforts have ceased, academic focus has shifted to other projects and HermiT's legacy lives on in the Oxford Semantic Technologies spin-off RDFox?

There currently exist few FOSS OWL reasoners, and even fewer that could be considered actively maintained.