remove useless intervals, separate <p> for intervals in gui
Merge branch 'master' of https://github.com/alex2108/syncthing

?