Format bitwalker_public.tex. Bitwalker_private should be formated, too.