Problem: Rust toolchain version number is stored in 23 files. Each release requires an update of all these files. Find a way to reduce repeated magic numbers in CI scripts.