The polls that I ran in the discord finished on July 30th 2025 with the following results:

1. Merge the Any% boards?

• Yes: 64%
• No: 36%

2. Merge the All-To-Do boards?

• Yes: 67%
• No: 33%

3. Simplify the version tags?

• Yes: 80%
• No: 20%
• Yes but I think you should do it differently: 0%

I