Is SharpLab still maintained?

[alexeyfv]

Hi, @ashmind.

Firstly, thank you for creating SharpLab — it's a very useful tool!

I noticed that the last commit was in November 2024, and some issues (like #1358) are still open and not fixed. I was just wondering if the project still maintained?

Thanks again for your work.