Considering all of the issues I've been having with documentation and the new jQuery UI API documentation, could we get the documentation added to bug tracker? Or should I be submitting these to the "ui.dev" meta tickets?