as mentioned in the post you cited:
there is no imminent need for change, but I agree that we should start (or continue) to think and talk about: see here.
Personally I would prefer PureDai as a gas token if we have to choose, but it can also be facilitated to use more than one token as a gas token: see here.
btw: welcome here, interested to hear how you found the way to this forum.