Re: [PATCH 04/17] docs: Convert 'goals' to rST