Merge "Update docs header to Magnesium in the master"