Added index.php for AChecker modifications (with comments)