CriticalEd: A tool for assisting with the creation of critical commentaries