docs: merge gather_files_from_js_infos rename PRs in migration docs (#…

…1891)

This is maybe a bit less technically correct, but less confusing: I
only saw the first line first and renamed to the intermediate name
first.