Good point. The problem doesn't actually happen in practice, so it may not be worth a further precise/quantal change, but it would be nicer to unify the regexes. I tried to stay away from any sed cleverness I could avoid — portability habits! — but it makes sense here.
Good point. The problem doesn't actually happen in practice, so it may not be worth a further precise/quantal change, but it would be nicer to unify the regexes. I tried to stay away from any sed cleverness I could avoid — portability habits! — but it makes sense here.