The line numbers extension significantly slows down the update of the editor. Maybe we can make the computation asynchronous and reduce the delay of the main editor.
I think it's not critical that they are always up-to-date. They can be out of sync with the main editor for a short duration.