dm9

@maNULL и не говнокод вовсе.
но так лучше:

$string = "12,14,152,66,15";
$res = explode(',', $string);
$pos = array_search(15, $res);

немного говнокода на скорую руку

$string = "12,14,152,66,15";
$res = explode(',', $string);
foreach ($res as $v) {
    if (intval($v) === 15) echo "В строке присутствует число 15";
    else continue;
}

Последовательно.

if [ -x $i ]; then
                $i 2>&1

Вот тут непосредственно обычный запуск, не в фоновом режиме.
То есть скрипт ждет окончания выполнения.

final нужно использовать там, где без него никак, либо где это хороший тон. Для «оптимизации» думать о final точно не следует.

Вставка элементов в DOM работает синхронно, ваш алерт всегда будет выполняться только после того, как элемент вставлен.

Насколько я помню, GM скрипты запускаются в изолированном js контексте. Вам необходимо подключать Jquery через механизмы самого GM.

Avinfo есть в репозитории Ubuntu, вам не обязательно его собирать
Если что:
sudo apt-get install avinfo

На виндовские шрифты распространяется вот эта штука — Copyright: Typeface and data? 1996 Microsoft Corporation. All Rights Reserved

Family Name: Verdana
Copyright: Typeface and data? 1996 Microsoft Corporation. All Rights Reserved
Style: Regular
Version: Version 2.41
Authors: Matthew Carter

Тахома, кстати, стоит 30 баксов.

Можете с помощью этой формы сделать запрос, и Вам отпишут о правах использования шрифта в каждом конкретном случае.