[dist] only have mini-profiler in development
[dist] document the anymous mode change
[webui] change user_with_realname_and_icon partial into a function