Tool for extracting Linux kernel configurations from many distributions & displaying a web UI - View it on GitHub