Slashdot Mirror

does anybody know of a good ad-blocking program for IE?

SeaMonkey was updated to version 1.0.1 for security reasons too

http://www.mozilla.org/projects/seamonkey/releases /

I guess you've not tried Mozilla's calendar yet? It synchronises on startup, can be synchronised manually, and will synchronise a remote calendar file before adding an event to it.

http://www.mozilla.org/projects/calendar/

The IETab extension can switch the rendering engine within Firefox. You can even add a list of websites that should always use IE's engine. This way your users won't have to start IE seperately (and probably won't even notice the switching of the engine).

I'm not sure if you can install it automatically (through sms or whatever it's called), so it might not be practical if you have to install it on a lot of computers.

Adobe Reader: http://www.adobe.com/products/acrobat/
Sun Microsystems Java: http://www.java.com/en/
Azureus: http://azureus.sourceforge.net/
iTunes: http://www.apple.com/itunes
Winamp: http://www.winamp.com/
AudioScrobbler: http://www.last.fm/
Mozilla Suite: http://www.mozilla.org/
Opera: http://www.opera.com/
GIMP: http://gimp-win.sourceforge.net/
GAIM: http://gaim.sourceforge.net/

I also suggest to get:
B's Recorder gold: http://www.bhacorp.com/products/gold8/index.html
Corel Painter IX: http://www.corel.com/
Powerquest.. sorry Norton Partition Magic: http://www.symantec.com/home_homeoffice/products/s ystem_performance/pm80/index.html

I'd like to write a small descriptions for each software but I have busy now so this is just fast reply. :)

I recommend these programs to all my co-workers, friends and family.
BlueFrog - Fight spam with the Blue Community
DefilerPak - Video/Audio Codec Pak
FireFox - IE replacement
Foobar2000 - Audio Player
MyUninstaller - ADD/Remove Programs alternative
Nero - CD/DVD burning software
NOD32 - Very fast and accurate Virus Scanner
Thunderbird - Outlook Express Replacement
Treewalk DNS - Local caching DNS
Trillian - Many IM Clients in One
UltraEdit32 - Best Windows Text Editor (check out column mode)
UltraMon - If you multiple monitors this program is great
Zoomplayer - DVD/Media player

Holy crap, I fail hard.

Here's the link without looking quite so retarded.

I'm neither a mozilla adept nor evangelical, and I cannot address your concerns about lusers the whole world over, but there are ways to keep your own box reasonably secure.

An xpi file is only a zipped archive. Rename one to zip and try it, if your zip program doesn't recognize the extension.

What is inside the compressed xpi archive will differ from extension to extension, but many of the files are 'human readable'. (rdf, js, manifest, xul, etc...)

Where you may need another program to read the xpi archive's files are the *.jar files, which are sometimes a part of an extension's archive, but they are also archives, which most compression program can handle, and they too are usually archives of 'human readable' files.

It takes a bit of work, but hey, it is after all, your box, not mine.

Also, for the security conscious:

• only download XPIs from the secure firefox estension site
• be wary of extensions which are in conjuction with a specific internet site, unless you trust the site before loading up the extension
• use a program which monitors and lists your net connections now and then

In a bit of opposition to the second recommendation above, I use and have been happy with a few of MR Tech's Mozilla Extensions, especially the local install extension.

The Mr Tech website also has a public board for mozilla-based extensions.

Also, check out available bookmarklets for functionality you are looking for, and avoid extensions if a bookmarklet does the trick. A few possible places for applicable bookmarklets are, one, two, three and four.

You may be interested in Nuke anything enhanced. It adds an right-click option to remove chosen content, but for loaded flash content, because of the way it steals the right-click content menu on focus, you need to learn the right-click sweet spot trick which is best for you. I've found two methods that work best for me, depending on the layout. One is to right-click just outside of where the right-click content menu gets jacked, the other is to highlight an area with the start/end embed code tags included, but that is sometimes tricky.

I also used this extension on my previous, RAM challenged box, and it gave me no grief.

Alternately, peruse the Squarefree bookmarklet section, ZAP. Some nice features to eliminate annoyances, which do not require piling on extensions within the program itself.

hows does TabFX compare to Tab Mix Plus:
https://addons.mozilla.org/addon.php?id=1122

That's the one I've been using.

Back IS Close replaces the "Back" button with a "Close" button when the "Back" button is disabled because there is no page to go "back" to. That Close Button will close the tab or browser, as appropriate.

Back IS Close is the perfect complement to tabbed browsing: it closes the many tabs tabbed browsing opens.

The Web Developer tool bar can do this as well. Click the Resize button ant notice that you can configure your own custom sizes.

Now, for resizing the search box: I hate hard-coded sizes, and I've hated the search box from day 1. There is an extension called Resize Search Box which can avoid the need change the size by hard-coding a different size into the skin. Resize Search Box adds a handle to the Search Box element so that you can resize the field at whim as needed.

I thought this was pretty handy, adding to the extensions I already use regularly.

One thing I wasn't sure was why he neglected to include Window Resizer in the Web Design section. When I'm doing design, this thing is hella valuable because you can just hit a button and switch your window size to what it would be maximized on 640x480, 800x600, 1024x768, 1280x1024, 1600x1200. Great for seeing how your site will look on multiple resolutions.

Should check out "advanceddork" it just was updated to 2.0 beta
Its a great search tool, I cant live without it anymore
https://addons.mozilla.org/firefox/2144/
"Description: This small, yet powerful Firefox extension was designed to quickly and efficiently search for specified text inside Google's Advanced Operators."

I came across this recently, similar to Aardvark. It's CSSViewer which shows in a (large) tooltip, the css applied to an element over which the mouse is hovering.

I found it very useful for closing the loop between code and result.

Forecastfox - Get international weather forecasts from AccuWeather.com, and display it in any toolbar or status bar with this highly customizable and unobtrusive extension.

FlashGot - Download one link, selected links or all the links of a page at the maximum speed with a single click, using the most popular external download managers for Windows, Mac OS X, Linux and FreeBSD (dozens currently supported products, see http://www.flashgot.net/ for details). FlashGot offers also a Build Gallery functionality which helps to synthesize full media galleries in one page, from serial contents previously scattered on several pages, for easy and fast download all.

Adblock - One of the best plug-ins ever written. Adblack allows you to block elements of a web page, images, flash, i-frames, etc This will help make pages load faster and with zero ads!

Adblock is a content filtering plug-in for the Mozilla and Firebird browsers. It is both more robust and more precise than the built-in image blocker.

Adblock allows the user to specify filters, which remove unwanted content based on the source-address. If this sounds complicated, dont worry: its not.

Just add a few filters. Every time a webpage loads, Adblock will intercept and disable the elements matching your filters. See?- nothing to it.

Adblock Filterset.G Updater - This is a companion extension to Adblock and should be used in conjunction with it. This extension automatically downloads the latest version of Filterset.G every 4-7 days. Filterset.G is an excellent set of filters maintained by G for Adblock that blocks most ads on the internet. In addition, this extension allows you to define your own set of filters that you can add along with Filterset.G during an update.

Tabbrowser Preferences - This extension provides a comprehensive UI for changing a number of the hidden tabbed browsing preferences in Firefox. It also provides the ability to control how internal and external links are opened in the browser and how the browser will react when links are sent to it.

IE Tab - IE Tab - an extension from Taiwan, features: Embedding Internet Explorer in tabs of Mozilla/Firefox. Note, this will also allow you to run Windows Update also.

Wizz RSS News Reader - News is the new frontier for the web. With the up-and-coming rss and atom technologies, news is becoming easier to read and more accessible, but Firefoxs livebookmarks are rather lacking when it comes to features.

Wizz RSS News Reader is the solution. Over the past year, its evolved into a mature feed aggregator. Although the UI lacks polish, it includes a number of powerful features, such as the watch list, OPML support, and the ability to subscribe to podcasts. The documentation is extensive and the author maintains support forums, so its easy to get help too :)

Viamatic foXpose - The Viamatic foXpose plugin is a tiny little extension that lets you view all your tabs inside a browser window.

Duplicate Tab - Duplicate Tab allows you to clone a tab along with its history.

SessionSaver - SessionSaver restores your browser -exactly- as you left it, every startup, every time. Not even a crash will phase it. Windows, tabs, even things you were typing theyre all saved. Use the menu to add + remove sessions; right, shift, or middle-clickin

Forecastfox - Get international weather forecasts from AccuWeather.com, and display it in any toolbar or status bar with this highly customizable and unobtrusive extension.

FlashGot - Download one link, selected links or all the links of a page at the maximum speed with a single click, using the most popular external download managers for Windows, Mac OS X, Linux and FreeBSD (dozens currently supported products, see http://www.flashgot.net/ for details). FlashGot offers also a Build Gallery functionality which helps to synthesize full media galleries in one page, from serial contents previously scattered on several pages, for easy and fast download all.

Adblock - One of the best plug-ins ever written. Adblack allows you to block elements of a web page, images, flash, i-frames, etc This will help make pages load faster and with zero ads!

Adblock is a content filtering plug-in for the Mozilla and Firebird browsers. It is both more robust and more precise than the built-in image blocker.

Adblock allows the user to specify filters, which remove unwanted content based on the source-address. If this sounds complicated, dont worry: its not.

Just add a few filters. Every time a webpage loads, Adblock will intercept and disable the elements matching your filters. See?- nothing to it.

Adblock Filterset.G Updater - This is a companion extension to Adblock and should be used in conjunction with it. This extension automatically downloads the latest version of Filterset.G every 4-7 days. Filterset.G is an excellent set of filters maintained by G for Adblock that blocks most ads on the internet. In addition, this extension allows you to define your own set of filters that you can add along with Filterset.G during an update.

Tabbrowser Preferences - This extension provides a comprehensive UI for changing a number of the hidden tabbed browsing preferences in Firefox. It also provides the ability to control how internal and external links are opened in the browser and how the browser will react when links are sent to it.

IE Tab - IE Tab - an extension from Taiwan, features: Embedding Internet Explorer in tabs of Mozilla/Firefox. Note, this will also allow you to run Windows Update also.

Wizz RSS News Reader - News is the new frontier for the web. With the up-and-coming rss and atom technologies, news is becoming easier to read and more accessible, but Firefoxs livebookmarks are rather lacking when it comes to features.

Wizz RSS News Reader is the solution. Over the past year, its evolved into a mature feed aggregator. Although the UI lacks polish, it includes a number of powerful features, such as the watch list, OPML support, and the ability to subscribe to podcasts. The documentation is extensive and the author maintains support forums, so its easy to get help too :)

Viamatic foXpose - The Viamatic foXpose plugin is a tiny little extension that lets you view all your tabs inside a browser window.

Duplicate Tab - Duplicate Tab allows you to clone a tab along with its history.

SessionSaver - SessionSaver restores your browser -exactly- as you left it, every startup, every time. Not even a crash will phase it. Windows, tabs, even things you were typing theyre all saved. Use the menu to add + remove sessions; right, shift, or middle-clickin

Adblock may handle most everything else, but it is still lacking in its ability to handle {Macromedia|Adobe} flash.

The solution is FlashBlock, and it works incredibly well. Not only does it make browsing faster, it reduces the bright flashing 'bunch bush to win $10' ads to whitespace -- tis much easier on the eyes.

For those rare occasions where you actually want to see the flash, just click on the play button that adblock substitutes for the embedded swf.

There are, how about the Extend Firefox contest or CNET download.com's Best Firefox Extensions and Optimizing Firefox.

And this article doesn't even mention ScrapBook even though it has to be one of the most revolutionary ways to organize reference material. Just check it out, it won 'Most Useful Upgraded Extension' in the Extend FF contest.

Well.. while the linked site does not answer (/. effect probably), here's my favorite extensions. I try to install only those really useful to my efficiency. Right now, it's really hard to find the best extensions from Firefox's site.

Adblock
https://addons.mozilla.org/extensions/moreinfo.php ?id=10&application=firefox
Needless to say, the most important extension to me. But even better with this one: Adblock Filterset.G Updater 0.3.0.3 https://addons.mozilla.org/firefox/1136/

TabFX
https://addons.mozilla.org/extensions/moreinfo.php ?id=1486&application=firefox
while we wait for Firefox 2.0

FlashGot
https://addons.mozilla.org/extensions/moreinfo.php ?id=220&application=firefox
but I never really used it on a regular basis

Page Update Checker
https://addons.mozilla.org/extensions/moreinfo.php ?id=920&application=firefox
That one should be in the built-in features. Very useful.

And not to forget (not listed on Firefox's website): Bug me not:
http://roachfiend.com/archives/2005/02/07/bugmenot /
Very useful for the soul-sucking registration-required articles on slashdot ;-)

Cheers.

Well.. while the linked site does not answer (/. effect probably), here's my favorite extensions. I try to install only those really useful to my efficiency. Right now, it's really hard to find the best extensions from Firefox's site.

Adblock
https://addons.mozilla.org/extensions/moreinfo.php ?id=10&application=firefox
Needless to say, the most important extension to me. But even better with this one: Adblock Filterset.G Updater 0.3.0.3 https://addons.mozilla.org/firefox/1136/

TabFX
https://addons.mozilla.org/extensions/moreinfo.php ?id=1486&application=firefox
while we wait for Firefox 2.0

FlashGot
https://addons.mozilla.org/extensions/moreinfo.php ?id=220&application=firefox
but I never really used it on a regular basis

Page Update Checker
https://addons.mozilla.org/extensions/moreinfo.php ?id=920&application=firefox
That one should be in the built-in features. Very useful.

And not to forget (not listed on Firefox's website): Bug me not:
http://roachfiend.com/archives/2005/02/07/bugmenot /
Very useful for the soul-sucking registration-required articles on slashdot ;-)

Cheers.

Well.. while the linked site does not answer (/. effect probably), here's my favorite extensions. I try to install only those really useful to my efficiency. Right now, it's really hard to find the best extensions from Firefox's site.

Adblock
https://addons.mozilla.org/extensions/moreinfo.php ?id=10&application=firefox
Needless to say, the most important extension to me. But even better with this one: Adblock Filterset.G Updater 0.3.0.3 https://addons.mozilla.org/firefox/1136/

TabFX
https://addons.mozilla.org/extensions/moreinfo.php ?id=1486&application=firefox
while we wait for Firefox 2.0

FlashGot
https://addons.mozilla.org/extensions/moreinfo.php ?id=220&application=firefox
but I never really used it on a regular basis

Page Update Checker
https://addons.mozilla.org/extensions/moreinfo.php ?id=920&application=firefox
That one should be in the built-in features. Very useful.

And not to forget (not listed on Firefox's website): Bug me not:
http://roachfiend.com/archives/2005/02/07/bugmenot /
Very useful for the soul-sucking registration-required articles on slashdot ;-)

Cheers.

Well.. while the linked site does not answer (/. effect probably), here's my favorite extensions. I try to install only those really useful to my efficiency. Right now, it's really hard to find the best extensions from Firefox's site.

Adblock
https://addons.mozilla.org/extensions/moreinfo.php ?id=10&application=firefox
Needless to say, the most important extension to me. But even better with this one: Adblock Filterset.G Updater 0.3.0.3 https://addons.mozilla.org/firefox/1136/

TabFX
https://addons.mozilla.org/extensions/moreinfo.php ?id=1486&application=firefox
while we wait for Firefox 2.0

FlashGot
https://addons.mozilla.org/extensions/moreinfo.php ?id=220&application=firefox
but I never really used it on a regular basis

Page Update Checker
https://addons.mozilla.org/extensions/moreinfo.php ?id=920&application=firefox
That one should be in the built-in features. Very useful.

And not to forget (not listed on Firefox's website): Bug me not:
http://roachfiend.com/archives/2005/02/07/bugmenot /
Very useful for the soul-sucking registration-required articles on slashdot ;-)

Cheers.

Well.. while the linked site does not answer (/. effect probably), here's my favorite extensions. I try to install only those really useful to my efficiency. Right now, it's really hard to find the best extensions from Firefox's site.

Adblock
https://addons.mozilla.org/extensions/moreinfo.php ?id=10&application=firefox
Needless to say, the most important extension to me. But even better with this one: Adblock Filterset.G Updater 0.3.0.3 https://addons.mozilla.org/firefox/1136/

TabFX
https://addons.mozilla.org/extensions/moreinfo.php ?id=1486&application=firefox
while we wait for Firefox 2.0

FlashGot
https://addons.mozilla.org/extensions/moreinfo.php ?id=220&application=firefox
but I never really used it on a regular basis

Page Update Checker
https://addons.mozilla.org/extensions/moreinfo.php ?id=920&application=firefox
That one should be in the built-in features. Very useful.

And not to forget (not listed on Firefox's website): Bug me not:
http://roachfiend.com/archives/2005/02/07/bugmenot /
Very useful for the soul-sucking registration-required articles on slashdot ;-)

Cheers.

There's got to be a better site for Firefox extensions.

This story reaks of one of those Top Ten lists you see in print magazines.

both refuse connections from anything that doesn't identify itself as Explorer

Maybe you should try User Agent Switcher extension. Then your firefox will identify itself as IE. I use it all the time to navigate to sites which block non-IE browsers.

If you want a fundamental error and slow fix, look at the ancient mozilla bug: https://bugzilla.mozilla.org/show_bug.cgi?id=10453 2 (you might need to copy-and-paste the link). It took over four years to get a reasonable result. This is damn scary.

If you want a fundamental error and slow fix, look at the ancient mozilla bug: https://bugzilla.mozilla.org/show_bug.cgi?id=10453 2 (you might need to copy-and-paste the link). It took over four years to get a reasonable result. This is damn scary.

Fortunately it seemed like the window-property wasn't shared.

I would suggest This Firefox Plugin. Works like a dream - you can with a right click open any currently open tab in a new tab, rendered with IE instead of FireFox. You can also set specific websites (update.microsoft.com, etc) to automitically open with IE instead of FireFox. Best part for a web developer - they each have seperate caches, so I can have multiple logins to the same sites for testing purposes :)

Supposedly Netscape 7 can use Explorer for certain websites and the Mozilla rendering engine for others[...]
IE Tab offers that functionanlity as a FF plugin.

OK, can gmail do PGP?

Is the question "can it do PGP" or is the question "can it do encrypted mail"?

There is a Firefox GMail S/MIME plugin if your goal is encrypted mail that's compatible with the encryption built into most current email clients. I think this also addresses your concern of key storage, since I believe it's in your Firefox keystore.

Well, it's all of them really. Look, security, to some degree, is a numbers game. Nothing is perfectly secure. It's about reducing the ease of exploitation. Coverting from GET to POST is EASY, and, clearly, less people know how to create a POST as opposed to a GET.

To analyse a POST, one needs: knowledge of HTML and javascript, and to spend time reading the source of the form in question to figure out what the post looks like.

To create a fake POST, one needs: knowledge of how HTTP headers work, and either telnet knwoledge or a firefox extension (courtesy of post below).

To analyse a GET, one needs: a browser

To create a fake GET, one needs: a browser.

To convert from GET to POST does NOT make you app secure. However, it'll reduce the number of phony requests you have to deal with.

A POST requires a bit more know-how,

Well, follow the bugzilla entry I guess:

https://bugzilla.mozilla.org/show_bug.cgi?id=20158 1

Someone will simply offer funding-free versions of the podcasts on the internet and poeple will flock to these versions. For these people, ANY advertising is far too much.

But are there enough freeloaders out there to threaten profitability? I'm not sure. If you have Firefox, you can block pretty much all advertising with a combination of Flashblock, Adblock, and Adblock Filterset.G. Firefox is a cinch to download, and these extensions take little effort to find and install (I've just linked to them). Yet, very few people run these. I think that the average man puts up with advertising because he doesn't bother to seek alternatives.

Not possible. Mozilla's code base is so fucked up, they'll never fix them all. There are something like three different memory allocation schemes used in the code, and they don't all play nicely together.

If you want to spend $10k to get a decent browser, you're better off donating to KDE to support Konqueror. Mozilla never has and never will be anything but a bloated POS.

After all, don't forget, they're not memory leaks, they're features!

Ah well, I know I'm going to get dinged as a troll for this, but I really can't come up with any way to explain just how messed up Mozilla's code is without a very lengthy post and really can't figure out a way to say "Mozilla's code sucks" without coming off as a troll. I'll just throw a link out to prmalloc.c, their custom allocator, and explain that this allocator is used to implement a malloc/free style of memory allocation, a reference counting style of memory allocation, and a mark-and-sweep garbage collector. All at once. And I think I may be missing some different implementations of those same patterns.

Each style has different patterns that cause memory leaks. All three are used together, which introduces neat patterns that cause memory leaks due to the interaction between them. That's about as short and simple as I can make it, so let the modding begin!

Re: OMG PONIES

by Christopher Finke, April 01, 2006 10:05pm

For those who don't know, Slashdot is using a pink girly theme for April Fools day. It has nothing to do with this extension, although version 1.4 lets you choose to use the PONIES theme if you still want pink Slashdot goodness once the theme is removed as the default.

An easy solution to the pink is to go grab the Slashdotter firefox extension. It allows you to change the scheme of every slashdot page. I never actually used that feature until they put up the pink theme and my eyes started to bleed. I'm using the Linux theme. Just a note, there is still a little bit of pink left on the site since I guess the extension doesn't change everything.

Just a note, there is still a little bit of pink left on the site since I guess the extension doesn't change everything.

It is necessary that this style stays available, even though it's not normally active. Then the Slashdotter extension needs to get it as an option. This needs to stay for the sheer WTF value when you switch the style to pink. Especially when you do it with (or rather to?) someone else's Fx profile.

Yes, Safari is quite capable. However, the parent post was clearly talking not about the Mozilla browser, but about Mozilla evangelism .

This is the project in which people would report websites that blocked non-IE browers, relied on IE-only technology or quirks, or made poor assumptions as to what browsers were out there (like telling a Mozilla 1.4 user to "upgrade" to Netscape 6.0). Volunteers would then contact the webmasters and encourage them to use cross-browser techniques, fix their coding errors or browser detection scripts, or whatever was necessary to get the site to work in more browsers and on more platforms than just IE6 on Windows.

Opera has a similar program called Open the Web.

Groups like Mozilla's Tech Evangelism, Opera's Open the Web, and the Web Standards Project have done quite a bit over the last few years to reduce the number of high-profile websites that only work in Internet Explorer, laying the groundwork to make Safari, Opera, and Firefox into viable alternatives for the average user.

If you think the preview feature useful, try this firefox plugin : GooglePreview

Is there a latest nightly for Bon Echo?

The Firefox 2 branch plan page states that Firefox 2 (Bon Echo) development happens on the 1.8 trunk.

Is there a latest nightly for Bon Echo?

The Firefox 2 branch plan page states that Firefox 2 (Bon Echo) development happens on the 1.8 trunk.

I get my latest nightly build from ftp://ftp.mozilla.org/pub/mozilla.org/firefox/nigh tly/latest-trunk/firefox-1.6a1.en-US.win32.install er.exe and it says Deer Park Alpha 2. Is there a latest nightly for Bon Echo?

You can have many of these fine features with Google as well, using Firefox extensions such as GooglePreview, CustomizeGoogle, and LookAhead. You can even jump over and search ask.com (and many others) with one extra click, if you wanna.

Just saying.

https://addons.mozilla.org/extensions/moreinfo.php ?id=189&application=firefox

here you go... it's not a google product but it does add this functionality to Firefox.

The move is a shift for the Hotmail business, which in the past, has charged users who wanted to read their mail using desktop software, rather than a Web browser.

1. Check your Hotmail (and Gmail and Windows Life Mail) through a new proprietary (malware issues?) client that will most likely bombard you with advertisements or
2. Check your Hotmail (and many other mail systems) through good old Thunderbird with no advertisements and source code that you can alter yourself if you ever feel the need to.

It's part of the company's broader Windows Live effort and could eventually serve as a hub, not just for Windows Live Mail, but for other Microsoft Web-based services as well.

• The "Genuine Advantage" checker Web-based service. There to report you for anything you've done to Windows that in any way violates the EULA you blindly clicked during the install.
• Microsofty Ads! The Web-based service that brings advertisements to your desktop so that you can get all the cool new Microsoft products cheaper!
• Member Updates. The client application that annoyingly pops up in the bottom right of your screen as a paper clip to alert you of cool new Microsoft products!
• The Blue Screen of Death inducer--a service that allows Microsoft to trigger your machine remotely to BSOD on you. Why try to recover from an error when you can just reboot?
• The Friendly Survey Service, a program that just tallies up what you got on your machine and phones home to Microsoft so Mr. Gates can have charts presented to him that realistically show the threat of OOo against Office.
• Et cetera...

As of 2003 (when Eolas won judgement against M$), Mozilla hadn't attempted to reach any agreement. Their post on the subject says to simply keep an eye out and be ready to change if we have to change.

Wikipedia currently is still saying "Other browsers such as Opera, Mozilla Firefox and Apple's Safari might have to implement a similar change to avoid infringement, or to license Eolas' patent".