Right, thanks; that worked. For future reference, in fiddling with this I learned this information can also be manually edited in data/js/user_details.js

BTW, thanks @Alan as well for figuring out the sidebar issue – that’s been vexing me for as long as I’ve used this archive solution (I’m also an old-school Twitter user whose history exceeds his laptop screen height).