Thanks for these very useful notes.
$Robosats$ is a powerful tool, and it is still new, just emerging.