I feel this is a sign if P135 bits already solved by Mr. RC.. Congrats Sir
Please use your brain.
If RetiredCoder had already solved puzzle 135, why would he wait to claim the coins? There's no need to use hidden mempool service like slipstream.mara.com in that case, because the public key is of course already known. Any solver of puzzle 135 could broadcast the withdrawal transaction publicly. It would be stupid to wait to withdraw the coins. And I don't locate RetiredCoder in the stupid camp.
For puzzles like #71 and moderately up, where the public keys are unknown, a solver should definitely not withdraw by public transaction, only via above mentioned Slipstream service and non-public mempool!
Even with impressive performance on a 5090 as RetiredCoder claims for his code, you need a heck of a lot cards, time and energy and thus a hefty investment to solve #135.