Get rid of relativenumber for now, as it is slow on some platforms