Did Intel ever publish a listing of DEBUG-86, as they did of their Series II monitor for the 8080/8085?