Update documentation and fix file formatting#2821

dguido wants to merge 1 commit intomastercrytic/slither:masterfrom

pr4-documentation-cleanupcrytic/slither:pr4-documentation-cleanupCopy head branch name to clipboard