[update] _javascript/functions.js (minor formatting)
[update] _php/_lantern/lantern_search.php (adds clarifying comment)