Ben Gamari authored Aug 04, 2019 and Marge Bot committed Aug 10, 2019

AndreasK recently mentioned that he thought that interface file loading
may be a non-trivial cost. Let's measure.