added antigen plugin manager

Joel Grunbaum

2021-12-08 6335fb5dd1bcc0c8b10501983e56ce68872b2217

1
2
3
4
extra-keys = [ \
 ['ESC','|','/','HOME','UP','END','-','DEL'], \
 ['TAB','CTRL','ALT','LEFT','DOWN','RIGHT','_','BKSP'] \
]