There seems to be other disruptions as well. For example, on the SDEX, the marketmaking bot for the USDC/XLM pair which was providing much welcome liquidity (and which I assume was maintained by Circle) has been down all day, causing the market to be illiquid.