An iOS book reader with semi-dynamic plugin support