Methods decorated with @classmethod and @property do not get documented. EDIT: The problem seems to be that…

Methods decorated with @classmethod and @property do not get documented. EDIT: The problem seems to be that…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). EDIT 2: Seems like this will get fixed in python 3.10, cf. https://bugs.python.org/issue43682.