We also did a bug fix release of the theme developer tools including one bug that causes a 404 error like the one described above (although I can’t say for sure whether it addresses your specific issue)