Pagestyle + Boost module

Pagestyle module doesn't work properly with the Boost module.

Follow these steps to reproduce the issue:
1. Install drupal 6.17, boost 6.x-1.18, Pagestyle 6.x-1.9, create some pages. Temporarily disable boost (admin/settings/performance/boost)
2. On the admin/settings/pagestyle page in the "Advanced options" check "Support JavaScript"
3. Enable boost
4. Logout
5. Change page style clicking, for instance, on the "yellow_blue" style button.
6. View some pages
7. Open another browser and try to view the site. It will be in yellow-blue colors.

The reason why this happens is that the pagestyle module (file pagestyle.module, string 333) adds javascript through drupal_add_js function which is cached by boost module. The boost module caches the entire page and when other visitors open cached pages the variable var pagestyleCurrent is already set to "yellow_blue" (look at the HTML code of the page).

To overcome this problem I edited the string number 333 (pagestyle.module):

var pagestyleCurrent;', 'inline');

and created js file with the following content:

$(document).ready(function(){
	var pagestyle = 'standard';

	if ($.cookie("pagestyle"))
		pagestyle = $.cookie("pagestyle");

	var pagestyleCurrent = pagestyle;
});

The same issue is with the textsize module.