On Friday, 7 April 2017 at 22:02:31 UTC, Walter Bright wrote: > I'll defer to Martin Nowak on what to do about that. > > It would help for those who need this for specific versions to > let Martin know which ones. Great, thanks -- I'll follow up with Martin on slack.