[Polarsys] Improve how quality metrics are shown: include polarys.js extension.