mgvv: improved output for size inequalities; lettered section names for violations