Hey, I just realised we could easily get edit and history buttons on the website for blog, event, feature, and a few other pages. so i did that ;) Here is how it works: http://screencast.com/t/3ioKKdoLcVjv if you dont have push rights the edits becomes PR's if you do have push rights you'll need to create PR manually, but at least you can get to the file really fast and do minor fixes ;) for Xavier - got somequestions over at https://issues.jboss.org/browse/JBIDE-17085 about it once you have time. /max http://about.me/maxandersen