Hello, everyone With all the renaming of the past week, it would be good if we could make a new release. Are there any outstanding PRs we should consider including? I may also push 0.7.1 as a bug-fix release for building on OSX. Stéfan