Restored the profile option to the sliding menu; it appeared to have
been accidentally removed in the last update.