benchmark sources now documented in mk