[coq] Reorder forms
[discover] add org search view to org picker
[coq] remove '.' from smart ops
[coq] delete trailing spaces after inserting match
[coq] snippets
[init] log features as they are loaded