vkGetInstanceProcAddr disabled extension commands get undefined behavior or NULL?

[krOoze]

LoaderAndLayerInterface.md:

If you get an Extension function using either vkGetInstanceProcAddr or vkGetDeviceProcAddr, but fail to enable it, you could experience undefined behavior. This should actually be flagged if you run with Validation layers enabled.

The vkGetInstanceProcAddr Spec:

instance	pName	return value
*	NULL	undefined
invalid instance	*	undefined
instance	enabled instance extension commands for instance	fp1
instance	* (any pName not covered above)	NULL

So which is it?

[lenny-lunarg]

I just searched through the document and I couldn't this statement or any similar one. My assumption is that this was in the doc but we removed it at some point and didn't update this issue. As such, I'm closing this issue because I believe it's resolved.