style guide change (filename instead of file name) part of the Write the Docs 2020 Writing Day, https://gitlab.com/gitlab-org/technical-writing/-/issues/217