Strip HTML in server; add Vim interface for showing javadoc