Went ahead and added those themes to the list accessible from the link in the OP.