The Krein–von Neumann extension revisited