I have fixed on minor issue where there is no help information (.rst) available for "Server Instrumentation" guru hint. Bug is reproducible when user click on "Help" button on guru hint dialog for "Server Instrumentation".
I have fixed it by disabling the "Help" button for "Server Instrumentation" guru hint. Attached is the patch file. Please review it and if it look good to you then can you please commit it.
--
AkshayJoshi Senior Software Engineer EnterpriseDB Corporation The Enterprise PostgreSQL Company Phone: +91 20-3058-9522 Mobile: +91 976-788-8246