11.1.5 (2020-12-04) Bug Fixes Fix type description tooltip spacing in Firefox (#1724) (512091d), closes #1723