Is Mojo Dev still an ongoing concern?

[carlca]

Hello, I'm just calling in to find out if Mojo Dev is still being developed. The question of documentation/tutorials for Mojo arose on the Modular Discord, and I mentioned Mojo Dev and how I had found it very helpful to have String.join illustrated by...

rather than...

join[*Stringables: Stringable](self: Self, *elems: Stringables) -> Self from the official docs!

I'd hate to think that it it grinding to a halt, so please reassure me that this isn't the case 😉