Looks like @podlipc hasn't received any replies!