HOL QR Generator needs JavaScript enabled.