Removed duplicate option from armstrong theme config
Removed duplicate option from armstrong theme config

Fixes #491
RDFLib/rdflib,yingerj/rdflib,ssssam/rdflib,avorio/rdflib,RDFLib/rdflib,ssssam/rdflib,yingerj/rdflib,dbs/rdflib,dbs/rdflib,ssssam/rdflib,marma/rdflib,marma/rdflib,marma/rdflib,yingerj/rdflib,avorio/rdflib,avorio/rdflib,avorio/rdflib,yingerj/rdflib,dbs/rdflib,RDFLib/rdflib,dbs/rdflib,ssssam/rdflib,marma/rdflib,RDFLib/rdflib