We now generate documentation for everything included in the PineTime manifest (although, at this stage, not everything in the manifest has all the required docstrings).