Allow cards to be inserted/deleted in the card editor; fix card editor UI (namely the autoscrolling)