Looks like @dmedlin hasn't received any replies!