The original blogpost for this toolkit explains how the PageState is encoded in UpdateTabNavigation commands. However, I've been unable to successfully decode a session file as specified, so the encoding rules seems to have changed since then.
Does anyone know if the new encoding format is documented anywhere, or of any projects that have successfully implemented a decoder for PageState?