A list with several tool for editing, formatting and checking texts online