Looks like @kropk hasn't received any replies!