Overlay popovers are fancy but non-overlay are easier to use.
Pipeline #42642 passed
Pipeline passed for 96d45617 on better-defaults-user-popovers 2 years ago
Merge details
Pipeline #42676 passed
Pipeline passed for 045a2221 on develop 2 years ago
mentioned in commit 045a2221
merged