doc: add Sean to the credits