御文庫附属庫は戦後に宮内省を引き継いだ宮内庁の国有財産台帳などでは「御文庫附属庫」と表記されており、同庁のhpにおいても、御文庫附属庫と記されている。