@pschwede Seems extremely active still. In fact if you want help on open-source problems, particularly linux distros or majoe linux apps it is by far the most active place to go for help or support.