Removed Ledger wallet from bitcoindev.org. It's clear they'll never learn their lessons.