Terminology fix: wfp -> wff
Improving style, putting help into a collapsible panel (not fully done yet)
Merge branch 'master' into gh-pages