Would be helpful to allow filtering usage data by user to better understand how team members are using Gitpod.