has anybody noticed that the python docs are badly broken? e.g. https://www.pulumi.com/docs/reference/pkg/python/pulumi/#pulumi.ResourceOptions. It seems an issue was already raised for this in *Nov 2020*… How are folks surviving over here?