Follow the instruction in `.github/copilot-instructions.md`. Scope: Only edit docstrings in `markov/random_mc.jl`.