Text this: On the relative proof complexity of deep inference via atomic flows