What is @mozilla's actual goal for @rustlang? Is it just a hobby? Or will they re-write the browser? Or?