Auto-completion instructions

Relative to discussion at #758. 
We should still mention that enabling company-mode globally works as well.