Don't save stash on pull
Don't wait for shutdown of scheduler
Better (custom) formhints
Merge branch 'refs/heads/develop' into tv