A bit more about pro-etale functoriality