Government workers can officially waste time scrolling TikTok again