vim plugin: GNU info documentation browser
