Trying out a line numbers plugin