che estensione è RDF ? mi dicono che sia l'estensione di Firefox , ma come si installa ?!?