Yeah. That story still has a ways to go in my book. Great idea if implemented.
The other question I have about using leverage is that the $LEO/$HIVE system is very inflationary and may not lend itself to the saylor system with $BTC...unless you use curation etc. to offset the inflation.