Documentation: use html instead of markdown tables