To play devil's advocate here: You are drawing employees from all directions, so moving an office any direction helps some, hurts others. Downtown made it equally painful for all parties involved but at least had proximity to the capitol for any leg session trips.
I bet we start seeing more changes in that sooner than later. Teacher Retirement moved their HQ recently away from 10th / 11th and Red River out to the Mueller area, and I bet several other agencies will be doing something similar. Buildings are falling into disrepair, and there's no room for expansion downtown, either due to lot restrictions or sight lines. Moving away from prime real estate brings in more cash when the state sells the facilities and buys cheaper properties away from the city center, and makes it easier on employees that don't want to commute downtown to watch homeless people shoot up and shit on the sidewalks. I say that, but TRS might be one of the more fiscally responsible agencies / entities in the state, so only time will tell.
Basketball was playing last night, we sure it wasn't Derka having an episode? /s
That said, guests being 5x the total members, impressive. You have stats on the IPs? Would be curious if they could be back-traced to given data centers or ASNs. Frankly, we built a blocklist on all our firewalls blocking probably the 20 or so biggest malicious ASNs on the interwebz, and took our failed connections from 100s per minute down to virtually nothing. Now if you have people trying to log in via some North Korean VPN, they might be up a creek...
Shit, I thought we were in the middle of a monsoon last night. 60 MPH winds out of the south along with some decent downpours, beating the hell out of the front of the house for a good 30-45 minutes. Need to assess later today, but we may be down some inflatables.
Curious, shouldn't something like fail2ban kick their asses out real quick? I mean, you'd probably permaban Derka after a basketball game at the rate he F5s and posts in there, but all for the greater good, right?