Looks like @crux hasn't received any replies!