antoniop
committed
on 14 Nov 24
Fix rather confusing name of javascript library file