By the way, earlier today I fixed a small bug: the edited comments were always included in the "Last edit: ..." mention the username, but the username is supposed to appear there only when edited by someone else (an admin).