noted/noted — pull request #56 by eturk (2013-04-09 00:29:37+00:00)
Title: Tooltips for buttons

For icon buttons, have popovers like on GitHub.

jQuery UI's tooltips (see "Custom Styling" section) seem fine.