Looks like @trigonoid hasn't received any replies!