Text this: Complete metric in the space of discontinuous functions