Retire redundant print_line_width() in Net: a relic from a failed printing strategy, irrelevant to the one which worked. [originally from svn r6194]