Improve style: high-availability.txt