I think these are used to cut + paste the docs into a different file. I suspect the file including these docs needs to change as well.