Update praxis.html