Text this: Completion of probabilistic normed spaces