erformance info
                                            {
                                                div: {
                                                    class: 'performance-info',
                                                    text: () => {
                                                        const lastOp = juris.getState('performance.lastOperation', '');
                                                        const duration = juris.getState('performance.duration', 0);
              