Text this: Cartesian products as profinite completions