doc: follow filename change with the top heading