Shrink and line numbers

[ojwb]

Pressing shrink actually makes this program larger:

https://bbcmic.ro/#%7B%22v%22%3A1%2C%22program%22%3A%22Shrink_makes_this_larger%3D1%5Cn1%22%7D

LIST on the program before and after shows the same end result, but it seems unexpected for shrink to convert from implicit to explicit line numbers like this (it would be reasonable for it to remove explicit line numbers if they matched what implicit numbering would give since that does shrink the program.)

Possibly owlet should enforce ascending line numbers somehow, which I think would solve this case.