doc/developer.texi35+b706ddb51f32785173ffbee72b6d36fa3d889e939382f3d472f923220281ef92d8ef1b5fec794e3e4f17c3d0eddb491751919e038e3fb2b05a8b4ed5b4c7b757ead846c0e835a6388614b948dcf0308af270d7e3e7a69627f866c1fa6001eedfe6094451be5b1ee8ee84bfa8ba862c7dabbc34c72ad96c1c3b428