Has anyone had any experience of Clips (not the Apple video-editing app but the 3rd-party app for accessing text or other clippings copied to the phone's clipboard from, e.g., Safari)? It seems to have had glowing reviews. When I first installed it on my iphone SE (iOS 11.2.6), it indeed seemed...