Seasteader: Update 1.0.2

Hello everyone. First of all, I'd like to thank all of you for buying Seasteader. We hope you grow to enjoy it as much as we've enjoyed making it. We've created a quick patch based on the first lot of feedback we've got…