js/tagfiltering.js correction (build server replace)