What is known about Vertex Cover Kernelization?