A Javadoc search extension for Firefox