Does anyone know why there's so many 3 letter domain names dropping today? Has this been forced or has someone decided that they no longer want to hold them?