sage-dev: add to docbuilding
sage-dev: finish SavingDict