Navigating DBCC CHECKDB for VLDB

I recently came across an interesting issue with CHECKDB snapshots, as well as a bit of information missing from the documentation.