Major changes in 3.25.1: * Add developer documentation