Raise line limit to 4000 for miniedit.py (see note)

Future versions of pylint will allow this to be disabled
in the file itself, so we can drop the limit back to
1500 or something more reasonable!!