Yes, but that folder might have more files like docs.min.js (see the uglify PR)