Maybe… but we’ve lost interest in that plugin for now, not a single user has “missed it”, and so I don’t think it adds enough value to the site to tweak it; considering how busy we are on other webdev tasks.
Thanks for thinking about us, however.