redo_headers.sh

#!/bin/bash
for file in $(find . -maxdepth 1 -type f -name '*.md' ! -name 'UserGuide.md' ! -name 'index.md'); do
    # Process each line in the file
    while read -r line; do
        if [[ $line == \** ]]; then
            line=$(echo "$line" | sed -e 's/^\*//' -e 's/\*$//')
            line="# $line"
        fi
        echo "$line" >> tmp.md
    done < "$file"
    # Move the temporary file back to the original file
    mv tmp.md "$file"
done