Settings fix for mdx3 errors

[gingerwizard]

Currently settings generation causes mdx3 violations which blocked docusaurus v3 update. To work around this we fix manually in generation script.

clickhouse-docs/scripts/settings/autogenerate-settings.sh

Lines 81 to 102 in 62ad30b

	# Replace issue sequences for mdx3
	if [[ "$OSTYPE" == "darwin"* ]]; then
	# macOS
	# allow_archive_path_syntax
	sed -i '' 's#'\''\\\\<archive\\\\> :: \\\\<file\\\\>'\''#\`<archive> :: <file>\`#g' docs/en/operations/settings/settings.md
	# max_partitions_to_read
	sed -i '' "s/<= 0 means unlimited/\&lt;0 means unlimited/g" docs/en/operations/settings/settings.md
	# optimize_time_filter_with_preimage
	sed -i '' "s|toYear(col) = 2023 -> col >= '2023-01-01' AND col <= '2023-12-31'|\\\`toYear(col) = 2023 -> col >= '2023-01-01' AND col <= '2023-12-31'\\\`|g" docs/en/operations/settings/settings.md
	# stop_refreshable_materialized_views_on_startup
	sed -i '' 's@\\\\<name\\\\>@\\<name>@g' docs/en/operations/settings/settings.md
	else
	# Linux
	# allow_archive_path_syntax
	sed -i 's#'\''\\\\<archive\\\\> :: \\\\<file\\\\>'\''#\`<archive> :: <file>\`#g' docs/en/operations/settings/settings.md
	# max_partitions_to_read
	sed -i "s/<= 0 means unlimited/\&lt;0 means unlimited/g" docs/en/operations/settings/settings.md
	# optimize_time_filter_with_preimage
	sed -i "s|toYear(col) = 2023 -> col >= '2023-01-01' AND col <= '2023-12-31'|\\\`toYear(col) = 2023 -> col >= '2023-01-01' AND col <= '2023-12-31'\\\`|g" docs/en/operations/settings/settings.md
	# stop_refreshable_materialized_views_on_startup
	sed -i 's@\\\\<name\\\\>@\\<name>@g' docs/en/operations/settings/settings.md
	fi

Ideally this wouldn't be needed. cc @alexey-milovidov we can fix these settings if you're ok enforcing these escape rules on the team.

cc @Blargian