This is an inconvience in the ost hhblits binding which I plan to fix asap.
To avoid waiting for a new ost release, we just provide a documentation
solution here.