I would suggest putting that developer’s free time to fix GMX boost percentage. Boosts above 100% greatly dilute earning possibilities for new participants of GMX ecosystem.
I am in favor of your proposal, it’s just the timing doesn’t feel right. It would be a great feature for V2 though.