masky.py doc tweaks.