It depends on how comfortable you are using git / github and how you installed Osticket on your webserver.Option 1: Manual without using gitIf you haven't used git for the install and just downloaded a zip file and unzipped that on your server you might just want to manually apply the PR.First view the PR on github and near the top you can click on the part which says "Files changed : 2" , this will show you the difference for the 2 files changed.From that view you can right-click and choose to download each of the updated files from their filename. For example the first file is shown called: js/redactor.min.js which is linked to the download of the update file.This file is a little special in that any change to it requires you to replace the entire file. The other file has a single line changed so you can either just edit your current file or replace the entire file, not really a big deal how you do it.Option 2: Using Git.If you installed OsTicket by doing a "git clone" to copy the source files from github then you can change to the folder with these source files and apply this PR with the following command: "git pull origin refs/pull/4113/head" (no quotes on either of those commands).If you are additionally using the OsTicket "./manage" tool to deploy from the source files to a webroot location then you can run this tool again so that the changes made to your source files are then updated inthe files the web server is using. Using Option 2 and the "./manage" tool would be the recommended method and the way I use it.Good luck, it is a nice little way to get started using git if you haven't done so yet and it is good to have marking as bold etc working properly. Certainly OsTicket is a better product than something which doesn't highlight properly and whilst this might be an issue in your evaluation I'd recommend fixing it up and moving on to see the other good things it can offer.Cheers.