Simplified revlines(1).