Refined documentation comments for builtin modules