So it seems Dextro has been taken over and is sailing along just fine. I will thus close this thread for now. Please PM me if you think it should be reopened.