Hi Cyril, > > NOTE: if we don't want to have NULL in the docs (see e.g. hugemmap10), > > we can simply filer it: > That is a question on how should be the save_restore formatted in the > docs. I guess that as a quick fix this is fine. Right, merged as is for now. Thanks for your ack. Kind regards, Petr