I don't think tedious is the word. More like pedantic given the context and headline.