fix #3972: hide short description if contained in long description