experiment: use PersistentArray for Environment.extensions#13010

Kha wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-nvuvzprumvxnKha/lean4:push-nvuvzprumvxnCopy head branch name to clipboard