First off, thank you, @witchlord and @mindoftony , for the new features. We accept them gratefully.Second, supposing one wants to submit changes. Is there a formal Pull-Request procedure? As this is hosted in SVN on SourceForge, it's a little different from PR's on GitHub.Many thanks.