That was a joke indicating it is not in the Bible.
You’d be surprised how many Bible teachers will go scurrying to look up a verse in Hezekiah.
You must be a real riot at church synods!
Regards,