How to "paket push" symbols?

I'm unsure how the symbol stuff works. I have used paket pack to create a .nupkg and a .symbols.nupkg. I then tried pushing both of these using paket push, but the second one failed due to the package already existing on nuget. (Incidentally, the CI server published the symbol package first, so it was only the symbol package that got published. I guess that's not critical to fix, since it seems to contain everything the non-symbol package has.)

I was under the impression that both symbol and non-symbol files should be pushed to Nuget. Upon closer inspection of the docs, it says to publish the normal package first. Is that a critical part? Should I paket push the non-symbol package first, and then the symbol package?

Start with the reported paket pack and paket push workflow and compare it with the linked NuGet symbol-package documentation. Determine whether the normal package must be pushed before the .symbols.nupkg, then document the supported order and expected result.