An enhanced version of the default 'Categories' widget of WordPress