hey @agdubs.bsky.social did something happen to axodotdev? the axo.dev domain so lots of the docs links 404. Eager to switch away from doing my own musl cross nix wrangling but the project seems in an odd state rn