Copy edit on Tools page and tweak HTML formatting