Add comment describing origin of mib constants; fixes #5