This question is over a month old with no reply. Did you find an answer to this? If not, I can try to bring this up with the Linux team.
you should be able to do your restore without starting server.
Please let me know if you have additional questions, and apologies for the long silence on our end!
paul van zwalenburg
sr. technical writer
Hey Paul, sorry for the delayed reply to your query and answer, I didn't get a notification on the post and didn't notice it. A few weeks after you posted, I got a reply from technical support confirming that it was OK. I asked them to reply here as well and they saw you had beat them to it .
thanks for the follow up, and yes, I went ahead and updated the docs for clarity. I appreciate your asking the question in the first place!