missing files because versioning?

Hi

I just noticed that opening www.postgresql.org under Chromium's DevTools
mode shows these three errors in the console:

DevTools failed to load source map: Could not load content for https://www.postgresql.org/media/js/popper.min.js.map:
HTTPerror: status code 404, net::ERR_HTTP_RESPONSE_CODE_FAILURE
 
DevTools failed to load source map: Could not load content for
https://www.postgresql.org/media/css/bootstrap.min.css.map:HTTP error: status code 404,
net::ERR_HTTP_RESPONSE_CODE_FAILURE
DevTools failed to load source map: Could not load content for
https://www.postgresql.org/media/js/bootstrap.min.js.map:HTTP error: status code 404,
net::ERR_HTTP_RESPONSE_CODE_FAILURE

It appears that we do have these files under /media/, but with version
numbers embedded in their names.  Does this mean that we're missing a
symlink, or perhaps a redirect rule?

-- 
Álvaro Herrera         PostgreSQL Developer  —  https://www.EnterpriseDB.com/