On Thu, Sep 13, 2018, at 5:22 PM, Michael Niedermayer wrote: > > Are there any suggestions for a name ? The users on Twitter have been asked for their suggestions. Please let me know a little while before you want to make the release and I'll post the results here.