I have changed my twitter account name
adopt 4+5-digit arXiv identifier since Jan 2015.

I could have \d{4,} instead of \d\d\d\d\d?, but I chose latter because
it will remind me I have to make some change when the digit goes to six.