Full threadPuchtaOla·We are using our own tool JBison (https://jbison.com), which was recently enriched with performance metrics monitoring.View on HN