Hi! I noticed that getrandom appears to be using wasi v0.11.0+wasi-snapshot-preview1. The latest version of wasi is wasi v0.13.1+wasi-0.2.0.

I would normally recommend updating getrandom to use wasi v0.13 (newer versions are almost always better). However, I took a quick look at wasi's repository, specifically their readme, and found that wasi itself recommends staying on v0.11 in certain circumstances.

Still, I'm hesitant to simply assume that the getrandom developers know of any of this - and in any case, I didn't see issues or PRs with information on why getrandom isn't using a newer version. So, I wanted to make this issue. If nothing else, it'll be an opportunity to explain why getrandom isn't using a newer version.

Thank you in advance.