Add TODO comment about dock_info workaround