<p>Cache Manager of this project will destroy Pin or Map mappings after
their last unreferencing (in opposite of
- @{[ a_href 'sharedcachemap_leak','leaked <span class="type">SharedCacheMap</span>' ]}).
+ @{[ a_href '#sharedcachemap_leak','leaked <span class="type">SharedCacheMap</span>' ]}).
Despite it any dirty pages may still be held as the pages
(including their <span class="type>LSN</span>s) are cached associated
with <span class="type">SharedCacheMap</span>. It may be also possible