Text this: The order topology for function lattices and realcompactness