TEXBAT is offline for server maintenance (our storage controller is overheating). We plan to have TEXBAT back online by December 2025.