+ Added bypass_edit_disable permission, which allows specific users to bypass, as its name implies, the edit_disable_time setting, and effectively be able to edit their posts anytime after the grace period has expired. (Class-System.php, ManagePermissions.php, ManagePosts.php, Security.php, Help.english.php, ManagePermissions.english.php)

* Improving readability for reply_number. (index.english.php)

@ Note, bypass_edit_disable is basically untested. I haven't found anyone willing to test it (!), so I'll just consider it does.

@ This is a global permission, meaning it's applied on all boards, instead of per-board per-profile per-group. I just think it's better that way. And, less complicated.