I am guessing some kind of vivado replacement is in the works? As it stands now your product seems to be fully offline+CLI - pretty please just tell me how you can get revenue from that?!
That said, I am going to get a PYNQ-Z2 just to try this out! Btw, quick glance at the tutorial says Z1.. can I assume Z2 would be barely an inconvenience?