Please someone tell me whether do web developers use tools like Jade/Pug rather than code in raw HTML or not.