ジャンプリスト(AutomaticDestinations)の内部で、各ショートカットの「有効性」や「最終使用日時」を管理している「DestList」ストリームの構造は何に基づいているか。

DestListは、アプリが最近使用した各アイテムのMRU順序、アクセス回数、タイムスタンプをバイナリ形式で保持している。