Better pull requests

Better pull requests - there were some issues because of which they would break previously, they're fixed now. Also neat pages following the work on the general cleanup :-)

Again, not pushing to master directly because the commits here depend on the previous ones and they need a quick review.