We havesome tools in our repo, some of them are not working anymore because we have different paths now, others have a wrong output because the pages are different and we are using a bootstrap layout.
The scripts I'm referring to are: * make-gpg-key-html * update-gpg-keys
We don't need the language scripts ATM (probably anymore), before deleting them let's wait another bit if we can reuse them for (new?) zanata features. [[br]] Finally, we won't have a counter as in the past, so the counter script to get and order all banners has become useless.
The tools should work fine, tested them for F24 keys.