Changed <ul> into <ol> and changed <div><a></a></div> into <button> tags.
Fixed a bug where profile name was too long in options.html and bled into right section.
Put window.close() calls inside chrome.tabs API callbacks.
Added Settings.shouldSyncProfiles() function.
Fix sync since it didn't like a plain for loop
Fixed bug where RDF importing never cleared previously stored profiles when localStorage["synced_profiles"] existed to be restored from.
Syntax cleanup for import.js, no functional change
Fixed importRdf() function to behave a little nicer to work around a fun Heisenbug the RdfImporter.saveProfiles() function has.
Fixed formatting of options.js file.
Removed .prop("checked") === true checks since they are already directly Boolean since a past jQuery update.
Merge pull request #116 from heavensrevenge/6-update4a

6 update4a - Fixed a few more bugs & some options.html changes
Fixed options.html page selection by setting profile id's on import when "Delete all profiles" is selected.
Remove null returns & null checks
Merge pull request #117 from heavensrevenge/6-update4a

6 update4a - Fixes options.html profile selection bug
Re-factored the options page and make sure options.html validates using http://validator.w3.org/ as a valid HTML5 document.
Added my name to the Footer as suggested by @bitboxer in pull request #116.
Make sure popup.html validates using http://validator.w3.org/ as a valid HTML5 document.
Merge pull request #119 from heavensrevenge/6-update4a

6 update4a - Refactored options.html & Fixed HTML W3C Validation
A few options.html and options.css tweaks
Merge pull request #120 from heavensrevenge/6-update4a

A few options.html and options.css tweaks
Changed background.js to use .forEach calls instead of for-in loops.
Fixed some warnings raised in http://www.jshint.com/
Fixed/refactored behavior of highlightProfile() updateProfileList() and updateMasterHash() functions in options.js
Removed the need for a single currentProfile global but put the profile# inside the Settings object.
Some fixes in settings.js to go along with the change.
Merge pull request #122 from heavensrevenge/6-update4a

6 update4a - JSHint fixes and more options.js fixes
Some options.css tweaks to help flow and Opera usage, consolidated #profile_settings CSS selector and put it with the other sections.
Moved footer html out of the "content" section.