Changes [user] to the OP's username when commenting on StackExchange sites
As of 2018-10-15. See the latest version.
These are versions of this script where the code was updated. Show all versions.
