On Sat, Jun 22, 2024 at 06:03:06PM -0000, Stuart Henderson wrote: > If this is really important, I suggest going to buy another drive to > plug in and dd to rather than trying to do anything complicated.
Definitely. If the only copy of the key is in RAM, then time is of the essence.