In the mean time if any of you are familiar with Kali and spot
issues with what I've done there please do edit the article or raise
a query. If you are particularly keen I can give you a VM to test
with and service credit for improvements…
i've been futzing around for work with an EC2 instance built using the AWS marketplace-provided kali AMI, so could do a compare and contrast if you're interested. a full install (i.e., a baseline install plus the kali-linux-headless metapackage which the AMI doesn't ship with) uses just under 10 GiB.
-n