Missing workbox directory in public/javascript?

3.5.0.beta5-dev, which does not serve these files anymore, nor is an up-to-date frontend asking for them. As said, either outdated cache/frontend (which should normally not happen with the dynamic HTML documents) or bots, client problem in any case.