Background
As part of resolving #411 (comment), it was raised that we had extra steps to address a Deablot issue because we had to go synapse-core + synapse-sdk → filecoiin-pin → dealbot rather than synapse-core → dealbot. We didn't make any changes then, but this issue was opened to evaluate to collect feedback/anecdotes on whether we have a conviction that we'd come ahead from a cost/benefit regard (accounting for code changes and ongoing maintenance) if we made this switch.