Change to a new, more efficient line numbers plugin.