The `docs lint` job duration has increased from 6.5 minutes in March to 9 minutes in August

As can be seen at https://app.periscopedata.com/app/gitlab/652085/Engineering-Productivity---Pipeline-Build-Durations?widget=8356757&udv=1005715.