It turned out that IE9 still has limitations regarding the maximum number of loaded CSS files. The corresponding check has now been extended to also match IE9.