available commands documents in HTML