Adds an additional info (user ID and, if possible, nickname) to vk.com user profile page. It may be useful if one wants to add profile page of some person to bookmarks - profile URL may be changed by the user by changing his/her nickname, but ID-based URL of the user cannot be changed.
The extension does not modify the profile page of currently logged in user.
