Restored old version of feedback.js (undid changes to tips).