A tool for documenting web APIs