Hi Michael/anyone -- how hard would it be to actually make the username search field work on https://savannah.gnu.org/siteadmin/userlist.php?
It is a drag to scroll through a bunch of useless pages of (for instance) "j" user names to get to (for instance) "jsg" :). Just wondering. Thanks, karl
