some bug fixes to non-JS users in favorites editing; terminology updates