vignette developer.html -> developer_guide.html