Git version of the Sage developer manual