Is there a download for JBoss AS 7 Web Profile?

view story

http://serverfault.com – On the official downloads page I can only find the Java EE 6 Full Profile for 7.1, the Web Profile is only available for 7.0. Is there any place where I can download the Web Profile for 7.1? If not, why is there no such distribution? (HowTos)