A formal framework for measuring technical lag in component repositories — and its application to npm. Issue 8 (19th March 2019)