Okay maybe I was a bit too quick, but in the end I figured it out by indeed relaunching my dev server one or multiple times. I also see a related question popping up on mine, and I suppose this works for people if they stumble across this issue: https://stackoverflow.com/a/7116701/2217725