The github boys are playing with markup again. Fix resulting oqrev breakage.
The github boys are playing with markup again. Fix resulting oqrev breakage.


Former-commit-id: e5ac46f94268ea430878ebcbf82f036c80fafd3f [formerly c2a64027604615da8c34f852dbc4997183fc05ad]
Former-commit-id: d369539d4900b5a86fbcc7b4af6f0f12a5402757
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine