issue6143: Resetting all options should also delete all include aliases