WP★Twenty Seventeenをカスタマイズ03　カテゴリーのページタイトルから「カテゴリー：」取るには？

カテゴリーのページタイトルに自動で出力される「カテゴリー：」を取る方法です。

カテゴリーの一覧（アーカイブ）ページは、Twenty Seventeenではarchive.phpで出力されています。

＜ファイルのディレクトリー＞
/wp-content/themes/twentyseventeen/archive.php 

「archive.php 」を子テーマに複製して、「category.php」と名前を変更します。
そうすると、カテゴリーページのテンプレートだけcategory.phpに振り分けられるようになります。

問題のページタイトルの部分は

<?php if ( have_posts() ) : ?>
    <header class="page-header">
        <?php
            the_archive_title( '<h1 class="page-title">', '</h1>' );
            the_archive_description( '<div class="taxonomy-description">', '</div>' );
        ?>
    </header><!-- .page-header -->
<?php endif; ?>

↑　↑　↑　このあたりを下のように編集。

<?php if ( have_posts() ) : ?>
		<header class="page-header">
			<h1 class="page-title"><?php single_cat_title( '', true ); ?></h1>
			<?php	
				the_archive_description( '<div class="taxonomy-description">', '</div>' );
			?>
		</header><!-- .page-header -->
	<?php endif; ?>

こちらのサイトから流用させて頂きました。感謝！！
http://blog.photosynthesic.jp/2017/01/【twenty-seventeenのちょこっとカスタマイズ】カテゴリーの/comment-page-1/#comment-1432