Good riddance, extra website button. Fixes #413.