Merge "add3prf.py: Update value for crates.io identifier" into main