Two. My experience with mechanical pencils is that they’re often unreliable and a waste of time. I hate having to reload my pencil, I hate when it breaks if you accidentally make the tip longer than it should be, I hate when you accidentally put one more in the pencil and it gets clogged, I hate having to carry refills all the time, I hate buying an expensive pencil and worrying about losing it (as opposed to just buying a dozen regular pencils for backup)…

Just hand over the regular pencil and a decent sharpener.

This is exactly what I wanted. I might make the switch now.

Discord is a terrible format to manage large, complex communities and projects

Terrible how, though? That’s exactly what it gets right. You have easy-to-setup roles and channel accesses, onboarding experiences for people joining a larger server, a huge ecosystem of bots for various purposes, etc.

okay, it is bad for not being indexable, but it’s good at what it does and it’s popular for a reason.

Articles like this are constantly like “if only there was something we can do about it” while omitting the thing people are doing about it because the writer is too lazy to research properly

Yeah I remember voicing this concern when all online communities seemed to be going to discord and people seemed to mainly laugh at me in response at the time.

Because there hasn’t been a single proper alternative until very recently, and even then they’re not as user friendly.