option to easily disable taglist plugin