Why the gatekeeping? It’s their choice how they spend their time and tokens, and nobody is forced to use it.
As long as they had fun and enjoyed the process, that’s what counts. Enterprise software deployment is a different story, of course.