Pentadactyl and other related Gecko extensions