Test push; added my name to "authors", pushed lingering commits left
from last HEAD.