Oh, good. @mentions on Instagram now translate automatically on Twitter, even if the username is different.