I have such a domain myself. i have been thinking about switching to .dev for a long time (i have already reserved it).

However, my dilemma:

I would then keep .io and redirected so that no one can steal it. By doing so, I'm not helping anyone who lives there. :(

I don't use it for new projects for a long time.