[minor] document.py: check_permission
Custom formatter using df.formatter
Merge pull request #744 from anandpdoshi/anand-august-1

Fixes in formatter and document