Re: [Tee-dev] [PATCH 00/22] ReST conversion patches (final?)