Fix names of dirs: "v.200.x" -> "v0.200.x"

[gkz]

Fix issue from #4432

Rename dir "v.200.x" -> "v0.200.x"

Commands:

ag -g '^.*v\.200' | ag '^.*v\.200.x' --only | sort | uniq > files
cat files | while read file; do newname=`echo "$file" | sed 's/v\.200/v0.200/'`; mv "$file" "$newname"; done

check if any dirs missed:

ag -g 'v\.200' 
# no results

[Brianzchen]

🙏 my apologies