Doco update: use MELPA for installation