hacky man page thing, maybe should find a better plugin