Comment by markus_zhang

A much easier solution is just assign a team improvement ticket to him and call it a day.

I doubt he never worked on any tasks though, so maybe something for him once for a while.