tl;dr: Wittgenstein (and hence Shanker) make life difficult for themselves by assuming that something carrying out the steps of a formal calculation and reflecting upon these actions somehow has any useful content over the simpler (yet equally useful) abstraction of something that carries out the steps of a formal calculation (independent of whether these steps are reflected upon or not).