document new options
document new options

muffato/public-plugins,muffato/public-plugins,muffato/public-plugins,Ensembl/public-plugins,Ensembl/public-plugins,muffato/public-plugins,Ensembl/public-plugins