One new script, disabled pedantic

It turns out not to have any real practical relevance