Submodule proton added + other minor style and content changes.