Proofreading and update of appcontext.rst