Tweak docs and code formatting