Reddit is down

Is there a place to watch lemmy user numbers in real time? interested to see if there's a spike as users try out something else with their new free time.