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