GROOVY-6268: Use prettify (best highlight so far)