A Chrome extension that includes Java-Gaming.org enhancements