further translation from godoc to raw html