docs: point the pr3851 followup at the merged PR (#3866) commit
1 file changed