@prolic Both phpDocumentor and most IDEs will render HTML markup; I use it often for code sections, in particular. I think it's fine.