@keks Why do you feel like these should not use the same?

If this should not be the same as the human-friendly format, I'd prefer straight up .box<base32 without leading zeroes>, which removes the special case for private box.