Text this: Pareto-type finite-block optimality for source codes: a constrained Markov example