Completely revamped: it now uses separate instruction files per

distribution. Also, the user interface has been cleaned up a bit.