Well of course you can do it quickly with vim. Regardless, my suspicion is that OP deleted the lines manually, hence the need to mention it a couple of times. Otherwise, why would they even mention something you can do with grep in a literal second.
you mentioned it twice so I fear the worst, please tell me you didn’t remove 14000 lines manually using a text editor.
Well of course you can do it quickly with vim. Regardless, my suspicion is that OP deleted the lines manually, hence the need to mention it a couple of times. Otherwise, why would they even mention something you can do with grep in a literal second.