Are user #s still in use?

Posted under General

I found an artist who listed their user number on Danbooru. It was a 6 digit number. I can't find anywhere to search for users using numbers. Was this a previous feature of Danbooru that is no longer used, or am I just missing it?