Is the gnatsweb database being maintained? I noticed that all of the PR's are open and unassigned, and that everything since last October is pending.