Migrate paragraph ids from spec.ferrocene.dev to rust-lang.github.io (#79)

* Migrate paragraph ids from spec.ferrocene.dev to rust-lang.github.io

* Update spec.lock

Author: x0rw

builder/build_cli.py

@@ -18,7 +18,7 @@
 # Automatically watch the following extra directories when --serve is used.
 EXTRA_WATCH_DIRS = ["exts", "themes"]
 
-SPEC_CHECKSUM_URL = "https://spec.ferrocene.dev/paragraph-ids.json"
+SPEC_CHECKSUM_URL = "https://rust-lang.github.io/fls/paragraph-ids.json"
 SPEC_LOCKFILE = "spec.lock"
 
 def build_docs(

exts/coding_guidelines/__init__.py

@@ -47,7 +47,7 @@ def setup(app):
         types=[str],
     )
     app.add_config_value(name='fls_paragraph_ids_url', 
-                         default='https://spec.ferrocene.dev/paragraph-ids.json', 
+                         default='https://rust-lang.github.io/fls/paragraph-ids.json', 
                          rebuild='env')
     app.add_config_value(name='enable_spec_lock_consistency',
                          default=True,

exts/coding_guidelines/fls_checks.py

@@ -11,7 +11,7 @@
 
 # Get the Sphinx logger
 logger = logging.getLogger('sphinx')
-fls_paragraph_ids_url = "https://spec.ferrocene.dev/paragraph-ids.json"
+fls_paragraph_ids_url = "https://rust-lang.github.io/fls/paragraph-ids.json"
 
 class FLSValidationError(SphinxError):
     category = "FLS Validation Error"
@@ -206,7 +206,7 @@ def gather_fls_paragraph_ids(app, json_url):
             return {}, None
 
         # Base URL for constructing direct links
-        base_url = "https://spec.ferrocene.dev/"
+        base_url = "https://rust-lang.github.io/"
 
         # Process each document in the JSON structure
         for document in data['documents']: