I also like to redirect ^https?://instagram.com/(.*) to https://imginn.com/$1

But I never trust extensions, I do it manually.