improve docs
improve PRG description
add back button handling
Code style
Code style
improve state handling in PRG handler, and document it
Code style