Revert "remove detached HEAD note from a long time ago"

This reverts commit ff755d34b695f21a2c684554f8a3a12a5ae9d57d.