Created a topic, Top!, on the site WordPress.org Forums:
this plugin does exactly what is promised: just add a …