Looks like @lgrob hasn't received any replies!