Open question: should this test the current release of FinInG? Or its master branch? Or perhaps both?