Looks like @dkmsr hasn't received any replies!