Update SO-DIMM module part # (current part listed as obsolete)

[csp]

[michalgaska]

We can list here the PN of tested memory modules.

[ldoolitt]

You mean the VR7PU286458FBAMJT listed in Marble_User_Guide.tex?
Unchanged since May 2021?

Pretty much any 1.5V 4GiB module should be fine.
We've used an Edgetech PE243661 (PC3 10600), but even that is not current. You can still find it on eBay. :-)